Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/editor
common/editor-preferences
EditorPreferences

Variable EditorPreferences`Const`

EditorPreferences: typeof EditorPreferences = ...

Defined in packages/editor/src/common/editor-preferences.ts:215
Defined in packages/editor/src/common/editor-preferences.ts:216

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...