Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-ext
plugin/preference-registry
PreferenceScope

Enumeration PreferenceScope

Defined in packages/plugin-ext/src/plugin/preference-registry.ts:47

Index

Enumeration Members

Default Folder User Workspace

Enumeration Members

Default

Default: 0

Defined in packages/plugin-ext/src/plugin/preference-registry.ts:48

Folder

Folder: 3

Defined in packages/plugin-ext/src/plugin/preference-registry.ts:51

User

User: 1

Defined in packages/plugin-ext/src/plugin/preference-registry.ts:49

Workspace

Workspace: 2

Defined in packages/plugin-ext/src/plugin/preference-registry.ts:50

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Enumeration Members

Default Folder User Workspace

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...