eGov Viewer

e-Gov法令検索をより閲覧しやすくする拡張機能

Apa itu eGov Viewer?

eGov Viewer adalah ekstensi Chrome yang dikembangkan oleh tk42, dan fitur utamanya adalah "e-Gov法令検索をより閲覧しやすくする拡張機能".

Screenshot Ekstensi

screenshot
screenshot
screenshot
screenshot
screenshot
screenshot

Unduh Berkas CRX Ekstensi eGov Viewer

Unduh file ekstensi eGov Viewer dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.

Petunjuk Penggunaan Ekstensi

                        特徴
✓ 条文全体の画面を最大化し,より多く情報を表示
✓ 条文中の「第〜条」「第〜項」といった同一条文を参照する単語にページ内リンクを設定(参照条文には非対応)
✓ 条文を参照する単語にマウスオーバーさせると参照先をツールチップ表示
✓ 条文中の括弧書きをグレーアウト・非表示・強調表示
✓ 数字キーの入力で該当条文へ移動.入力後,一定時間(デフォルト1秒)入力がないとリセット.ー(ハイフン)で枝番へ移動                    

Informasi Dasar Ekstensi

Nama eGov Viewer eGov Viewer
ID aohfhdeechcdenbhoomepenhjdlhedgc
URL Resmi https://chromewebstore.google.com/detail/egov-viewer/aohfhdeechcdenbhoomepenhjdlhedgc
Deskripsi e-Gov法令検索をより閲覧しやすくする拡張機能
Ukuran File 742 KB
Jumlah Instalasi 101
Versi Saat Ini 0.1.1
Terakhir Diperbarui 2022-05-10
Tanggal Publikasi 2022-03-28
Penilaian 5.00/5 Total 2 Penilaian
Pengembang tk42
Email [email protected]
Tipe Pembayaran free
Bahasa yang Didukung ja
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 3,
    "name": "eGov Viewer",
    "description": "e-Gov\u6cd5\u4ee4\u691c\u7d22\u3092\u3088\u308a\u95b2\u89a7\u3057\u3084\u3059\u304f\u3059\u308b\u62e1\u5f35\u6a5f\u80fd",
    "version": "0.1.1",
    "background": {
        "service_worker": "\/background.js"
    },
    "content_scripts": [
        {
            "matches": [
                "https:\/\/elaws.e-gov.go.jp\/*"
            ],
            "js": [
                "render.js"
            ]
        }
    ],
    "permissions": [
        "tabs",
        "storage"
    ],
    "action": {
        "default_popup": "\/index.html",
        "default_icon": {
            "32": "\/src\/assets\/icon-32px.png",
            "48": "\/src\/assets\/icon-48px.png"
        }
    },
    "icons": {
        "32": "\/src\/assets\/icon-32px.png",
        "48": "\/src\/assets\/icon-48px.png"
    }
}