Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/editor
common/editor-preferences
Module common/editor-preferences
Interfaces
EditorConfiguration
Type Aliases
EditorPreferenceChange
EditorPreferences
EndOfLinePreference
Variables
EditorPreferenceContribution
EditorPreferences
editorPreferenceSchema
Functions
bindEditorPreferences
createEditorPreferences
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Editor
Configuration
Type Aliases
Editor
Preference
Change
Editor
Preferences
End
Of
Line
Preference
Variables
Editor
Preference
Contribution
Editor
Preferences
editor
Preference
Schema
Functions
bind
Editor
Preferences
create
Editor
Preferences
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...