robot-editor README

Requirements

"@types/ws": "^7.2.7", "ws": "^7.3.1"

Extension Settings

This extension contributes the following settings:

• robotEditor.port: websocket listen port,default 8080. use command robotEditor.configurePort to configure

Enjoy!