Theia API Documentation v1.73.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/preference-registry
Module plugin/preference-registry
Enumerations
PreferenceScope
Classes
PreferenceRegistryExtImpl
TheiaWorkspace
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Enumerations
Preference
Scope
Classes
Preference
Registry
Ext
Impl
Theia
Workspace
Eclipse Theia Website
GitHub
Theia API Documentation v1.73.0
Loading...