eGov Viewer

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

Что такое eGov Viewer?

eGov Viewer - это расширение Chrome, разработанное tk42, и его основная функция - "e-Gov法令検索をより閲覧しやすくする拡張機能".

Снимки экрана расширения

screenshot
screenshot
screenshot
screenshot
screenshot
screenshot

Скачать файл CRX расширения eGov Viewer

Скачайте файлы расширений eGov Viewer в формате crx, установите расширения Chrome вручную в браузере или поделитесь файлами crx с друзьями, чтобы легко установить расширения Chrome.

Инструкции по использованию расширения

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

Основная информация о расширении

Название eGov Viewer eGov Viewer
ID aohfhdeechcdenbhoomepenhjdlhedgc
Официальный URL https://chromewebstore.google.com/detail/egov-viewer/aohfhdeechcdenbhoomepenhjdlhedgc
Описание e-Gov法令検索をより閲覧しやすくする拡張機能
Размер файла 742 KB
Количество установок 101
Текущая Версия 0.1.1
Последнее Обновление 2022-05-10
Дата публикации 2022-03-28
Рейтинг 5.00/5 Всего 2 оценок
Разработчик tk42
Электронная почта [email protected]
Тип оплаты free
Поддерживаемые языки 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"
    }
}