Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/editor
common/editor-generated-preference-schema
Module common/editor-generated-preference-schema
Interfaces
GeneratedEditorPreferences
Variables
editorGeneratedPreferenceProperties
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Generated
Editor
Preferences
Variables
editor
Generated
Preference
Properties
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...