Theia API Documentation v1.72.1

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:38
Defined in plugin-dev/src/node/hosted-instance-manager.ts:43

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...