TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

Co to jest TeaVM debugger agent?

TeaVM debugger agent to rozszerzenie Chrome opracowane przez konsoletyper, a jego główną funkcją jest „TeaVM debugger agent, that sends RDP commands over WebSocket”.

Zrzuty ekranu rozszerzenia

screenshot

Pobierz plik CRX rozszerzenia TeaVM debugger agent

Pobierz pliki rozszerzeń TeaVM debugger agent w formacie crx, zainstaluj ręcznie rozszerzenia Chrome w przeglądarce lub udostępnij pliki crx znajomym, aby łatwo zainstalować rozszerzenia Chrome.

Instrukcja Użytkowania Rozszerzenia

                        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                    

Podstawowe informacje o rozszerzeniu

Nazwa TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Oficjalny URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Opis TeaVM debugger agent, that sends RDP commands over WebSocket
Rozmiar pliku 8.46 KB
Liczba instalacji 115
Aktualna Wersja 0.7.1
Ostatnia Aktualizacja 2023-08-15
Data Publikacji 2018-12-20
Deweloper konsoletyper
E-mail [email protected]
Typ Płatności free
Strona Rozszerzenia https://teavm.org/
Obsługiwane Języki 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
    }
}