Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-dev
common/plugin-dev-protocol
PluginDebugPort
Interface PluginDebugPort
interface
PluginDebugPort
{
debugPort
:
number
;
serverName
:
string
;
}
Index
Properties
debug
Port
server
Name
Properties
debug
Port
debugPort
:
number
server
Name
serverName
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
debug
Port
server
Name
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...