Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/preferences
browser/util/preference-tree-generator
Module browser/util/preference-tree-generator
Classes
PreferenceTreeGenerator
Interfaces
CreatePreferencesGroupOptions
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Classes
Preference
Tree
Generator
Interfaces
Create
Preferences
Group
Options
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...