TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Что такое TeaVM debugger agent?

TeaVM debugger agent - это расширение Chrome, разработанное konsoletyper, и его основная функция - "TeaVM debugger agent, that sends RDP commands over WebSocket".

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

screenshot

Скачать файл CRX расширения TeaVM debugger agent

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

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

                        This plugin connects to TeaVM's debug server and sends all debug notifications there, so that TeaVM remote debugger becomes available for remote Google Chrome.
See https://teavm.org/docs/tooling/idea.html                    

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

Название TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Официальный URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Описание TeaVM debugger agent, that sends RDP commands over WebSocket
Размер файла 8.46 KB
Количество установок 115
Текущая Версия 0.7.1
Последнее Обновление 2023-08-15
Дата публикации 2018-12-20
Разработчик konsoletyper
Электронная почта [email protected]
Тип оплаты free
Официальный сайт расширения https://teavm.org/
Поддерживаемые языки en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 3,
    "name": "TeaVM debugger agent",
    "description": "TeaVM debugger agent, that sends RDP commands over WebSocket",
    "version": "0.7.1",
    "permissions": [
        "debugger",
        "activeTab",
        "storage",
        "scripting"
    ],
    "action": {
        "default_icon": "teavm-16.png",
        "default_title ": "Connect to TeaVM debugger"
    },
    "background": {
        "service_worker": "main.js"
    },
    "content_scripts": [
        {
            "matches": [
                "http:\/\/*\/*",
                "https:\/\/*\/*",
                "file:\/\/*\/*"
            ],
            "js": [
                "contentscript.js"
            ]
        }
    ],
    "options_ui": {
        "page": "options.html",
        "open_in_tab": false
    }
}