TeaVM debugger agent

TeaVM debugger agent, that sends RDP commands over WebSocket

What is TeaVM debugger agent?

TeaVM debugger agent is a Chrome extension developed by konsoletyper, and its main feature is "TeaVM debugger agent, that sends RDP commands over WebSocket".

Extension Screenshots

screenshot

Download TeaVM debugger agent Extension CRX File

Download TeaVM debugger agent extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.

Extension Usage Instructions

                        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                    

Extension Basic Information

Name TeaVM debugger agent TeaVM debugger agent
ID jmfipnkacgdmdhapfciejmfgfhfonfgl
Official URL https://chromewebstore.google.com/detail/teavm-debugger-agent/jmfipnkacgdmdhapfciejmfgfhfonfgl
Description TeaVM debugger agent, that sends RDP commands over WebSocket
File Size 8.46 KB
Installation Count 115
Current Version 0.7.1
Last Updated 2023-08-15
Publish Date 2018-12-20
Developer konsoletyper
Email [email protected]
Payment Type free
Extension Website https://teavm.org/
Supported Languages 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
    }
}