Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-dev
node/hosted-instance-manager
HostedInstanceManager

Variable HostedInstanceManager`Const`

HostedInstanceManager: typeof HostedInstanceManager = ...

Defined in plugin-dev/src/node/hosted-instance-manager.ts:37
Defined in plugin-dev/src/node/hosted-instance-manager.ts:42

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...