Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/core
common/preferences/preference-proxy
Module common/preferences/preference-proxy
Interfaces
PreferenceEventEmitter
PreferenceProxyOptions
PreferenceRetrieval
Type Aliases
PreferenceChangeEvent
PreferenceProxy
Variables
PreferenceProxyOptions
Functions
createPreferenceProxy
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Preference
Event
Emitter
Preference
Proxy
Options
Preference
Retrieval
Type Aliases
Preference
Change
Event
Preference
Proxy
Variables
Preference
Proxy
Options
Functions
create
Preference
Proxy
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...