TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Was ist TeaVM debugger agent?

TeaVM debugger agent ist eine Chrome-Erweiterung, die von konsoletyper entwickelt wurde, und ihr Hauptmerkmal ist "TeaVM debugger agent, that sends RDP commands over WebSocket".

Erweiterungsscreenshots

screenshot

TeaVM debugger agent-Erweiterungs-CRX-Datei herunterladen

Laden Sie TeaVM debugger agent-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.

Anleitung zur Verwendung der Erweiterung

                        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                    

Grundlegende Informationen zur Erweiterung

Name TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Offizielle URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Beschreibung TeaVM debugger agent, that sends RDP commands over WebSocket
Dateigröße 8.46 KB
Installationsanzahl 115
Aktuelle Version 0.7.1
Letztes Update 2023-08-15
Veröffentlichungsdatum 2018-12-20
Entwickler konsoletyper
E-Mail [email protected]
Zahlungsart free
Erweiterungswebsite https://teavm.org/
Unterstützte Sprachen 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
    }
}