Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-dev
common/hosted-plugin-preferences
HostedPluginPreferences

Type Alias HostedPluginPreferences

HostedPluginPreferences: PreferenceProxy<HostedPluginConfiguration>

Defined in plugin-dev/src/common/hosted-plugin-preferences.ts:79
Defined in plugin-dev/src/common/hosted-plugin-preferences.ts:80

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...