TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Qu'est-ce que TeaVM debugger agent ?

TeaVM debugger agent est une extension Chrome développée par konsoletyper, et sa fonction principale est "TeaVM debugger agent, that sends RDP commands over WebSocket".

Captures d'Écran de l'Extension

screenshot

Télécharger le fichier CRX de l'extension TeaVM debugger agent

Téléchargez les fichiers d'extension TeaVM debugger agent au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

                        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                    

Informations de Base sur l'Extension

Nom TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
URL Officiel https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Description TeaVM debugger agent, that sends RDP commands over WebSocket
Taille du Fichier 8.46 KB
Nombre d'Installations 115
Version Actuelle 0.7.1
Dernière Mise à Jour 2023-08-15
Date de Publication 2018-12-20
Développeur konsoletyper
Email [email protected]
Type de Paiement free
Site Web de l'Extension https://teavm.org/
Langues Prises en Charge 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
    }
}