Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-dev
common/hosted-plugin-preferences
Module common/hosted-plugin-preferences
Interfaces
HostedPluginConfiguration
Type Aliases
HostedPluginPreferences
Variables
HostedPluginConfigSchema
HostedPluginPreferenceContribution
HostedPluginPreferences
Functions
bindHostedPluginPreferences
createNavigatorPreferences
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Hosted
Plugin
Configuration
Type Aliases
Hosted
Plugin
Preferences
Variables
Hosted
Plugin
Config
Schema
Hosted
Plugin
Preference
Contribution
Hosted
Plugin
Preferences
Functions
bind
Hosted
Plugin
Preferences
create
Navigator
Preferences
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...