Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-dev
common/plugin-dev-protocol
PluginDevServer

Variable PluginDevServer`Const`

PluginDevServer: typeof PluginDevServer = ...

Defined in plugin-dev/src/common/plugin-dev-protocol.ts:21
Defined in plugin-dev/src/common/plugin-dev-protocol.ts:22

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...