TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Co je TeaVM debugger agent?

TeaVM debugger agent je rozšíření Chrome vyvinuté konsoletyper, a jeho hlavní funkcí je „TeaVM debugger agent, that sends RDP commands over WebSocket“.

Snímky obrazovky rozšíření

screenshot

Stáhnout soubor CRX rozšíření TeaVM debugger agent

Stáhněte si soubory rozšíření TeaVM debugger agent ve formátu crx, ručně nainstalujte rozšíření Chrome do prohlížeče nebo sdílejte soubory crx s přáteli, abyste jednoduše nainstalovali rozšíření Chrome.

Pokyny pro Použití Rozšíření

                        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                    

Základní Informace o Rozšíření

Název TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Oficiální URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Popis TeaVM debugger agent, that sends RDP commands over WebSocket
Velikost souboru 8.46 KB
Počet instalací 115
Aktuální Verze 0.7.1
Poslední Aktualizace 2023-08-15
Datum Vydání 2018-12-20
Vývojář konsoletyper
E-mail [email protected]
Typ Platby free
Webové stránky Rozšíření https://teavm.org/
Podporované Jazyky 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
    }
}