eGov Viewer

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

Was ist eGov Viewer?

eGov Viewer ist eine Chrome-Erweiterung, die von tk42 entwickelt wurde, und ihr Hauptmerkmal ist "e-Gov法令検索をより閲覧しやすくする拡張機能".

Erweiterungsscreenshots

screenshot
screenshot
screenshot
screenshot
screenshot
screenshot

eGov Viewer-Erweiterungs-CRX-Datei herunterladen

Laden Sie eGov Viewer-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.

Anleitung zur Verwendung der Erweiterung

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

Grundlegende Informationen zur Erweiterung

Name eGov Viewer eGov Viewer
ID aohfhdeechcdenbhoomepenhjdlhedgc
Offizielle URL https://chromewebstore.google.com/detail/egov-viewer/aohfhdeechcdenbhoomepenhjdlhedgc
Beschreibung e-Gov法令検索をより閲覧しやすくする拡張機能
Dateigröße 742 KB
Installationsanzahl 101
Aktuelle Version 0.1.1
Letztes Update 2022-05-10
Veröffentlichungsdatum 2022-03-28
Bewertung 5.00/5 Insgesamt 2 Bewertungen
Entwickler tk42
E-Mail [email protected]
Zahlungsart free
Unterstützte Sprachen 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"
    }
}