TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Vad är TeaVM debugger agent?

TeaVM debugger agent är en Chrome-tillägg utvecklad av konsoletyper, och dess huvudfunktion är "TeaVM debugger agent, that sends RDP commands over WebSocket".

Tilläggsskärmbilder

screenshot

Ladda ner TeaVM debugger agent-förlängningens CRX-fil

Ladda ner TeaVM debugger agent-filändelser i crx-format, installera Chrome-tillägg manuellt i webbläsaren eller dela crx-filerna med vänner för att enkelt installera Chrome-tillägg.

Användarmanual för Tillägg

                        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                    

Grundläggande Information om Tillägg

Namn TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Officiell webbadress https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Beskrivning TeaVM debugger agent, that sends RDP commands over WebSocket
Filstorlek 8.46 KB
Antal Installationer 115
Aktuell Version 0.7.1
Senast Uppdaterad 2023-08-15
Publiceringsdatum 2018-12-20
Utvecklare konsoletyper
E-post [email protected]
Betalningssätt free
Tilläggswebbplats https://teavm.org/
Stödda Språk 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
    }
}