TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Wat is TeaVM debugger agent?

TeaVM debugger agent is een Chrome-extensie ontwikkeld door konsoletyper, en de belangrijkste functie is "TeaVM debugger agent, that sends RDP commands over WebSocket".

Extensie Screenshots

screenshot

Download het CRX-bestand van de extensie TeaVM debugger agent

Download TeaVM debugger agent-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

                        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                    

Basisinformatie over de Extensie

Naam TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Officiële URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Beschrijving TeaVM debugger agent, that sends RDP commands over WebSocket
Bestandsgrootte 8.46 KB
Aantal Installaties 115
Huidige Versie 0.7.1
Laatst Bijgewerkt 2023-08-15
Publicatiedatum 2018-12-20
Ontwikkelaar konsoletyper
E-mail [email protected]
Betalingswijze free
Extensiewebsite https://teavm.org/
Ondersteunde Talen 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
    }
}