eGov Viewer

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

Qu'est-ce que eGov Viewer ?

eGov Viewer est une extension Chrome développée par tk42, et sa fonction principale est "e-Gov法令検索をより閲覧しやすくする拡張機能".

Captures d'Écran de l'Extension

screenshot
screenshot
screenshot
screenshot
screenshot
screenshot

Télécharger le fichier CRX de l'extension eGov Viewer

Téléchargez les fichiers d'extension eGov Viewer au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

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

Informations de Base sur l'Extension

Nom eGov Viewer eGov Viewer
ID aohfhdeechcdenbhoomepenhjdlhedgc
URL Officiel https://chromewebstore.google.com/detail/egov-viewer/aohfhdeechcdenbhoomepenhjdlhedgc
Description e-Gov法令検索をより閲覧しやすくする拡張機能
Taille du Fichier 742 KB
Nombre d'Installations 101
Version Actuelle 0.1.1
Dernière Mise à Jour 2022-05-10
Date de Publication 2022-03-28
Évaluation 5.00/5 Total 2 Évaluations
Développeur tk42
Email [email protected]
Type de Paiement free
Langues Prises en Charge 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"
    }
}