TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Hvad er TeaVM debugger agent?

TeaVM debugger agent er en Chrome-udvidelse udviklet af konsoletyper, og dens hovedfunktion er "TeaVM debugger agent, that sends RDP commands over WebSocket".

Udvidelsesskærmbilleder

screenshot

Download TeaVM debugger agent-udvidelses-CRX-fil

Download TeaVM debugger agent-udvidelsesfiler i crx-format, installer Chrome-udvidelser manuelt i browseren eller del crx-filer med venner for nemt at installere Chrome-udvidelser.

Brugsanvisning til Udvidelsen

                        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æggende oplysninger om udvidelsen

Navn TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Officiel URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Beskrivelse TeaVM debugger agent, that sends RDP commands over WebSocket
Filstørrelse 8.46 KB
Antal Installationer 115
Nuværende Version 0.7.1
Senest Opdateret 2023-08-15
Udgivelsesdato 2018-12-20
Udvikler konsoletyper
E-mail [email protected]
Betalingsmetode free
Udvidelseswebsted https://teavm.org/
Understøttede Sprog 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
    }
}