Theia API Documentation v1.70.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
main/common/plugin-host-environment-preferences
Module main/common/plugin-host-environment-preferences
Interfaces
PluginHostNavigatorState
Variables
PluginHostEnvironmentPreferenceSchema
PluginHostNavigatorState
SUPPORT_NODE_GLOBAL_NAVIGATOR_PREF
Functions
bindPluginHostEnvironmentPreferences
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Plugin
Host
Navigator
State
Variables
Plugin
Host
Environment
Preference
Schema
Plugin
Host
Navigator
State
SUPPORT_
NODE_
GLOBAL_
NAVIGATOR_
PREF
Functions
bind
Plugin
Host
Environment
Preferences
Eclipse Theia Website
GitHub
Theia API Documentation v1.70.0
Loading...