Theia API Documentation v1.71.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-dev
node/hosted-plugins-manager
HostedPluginsManager

Variable HostedPluginsManager`Const`

HostedPluginsManager: typeof HostedPluginsManager = ...

Defined in plugin-dev/src/node/hosted-plugins-manager.ts:26
Defined in plugin-dev/src/node/hosted-plugins-manager.ts:28

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.71.0

Loading...