Preparing search index...
The search index is not available

Theia TypeDoc
plugin-ext
CustomEditorPriority

Enumeration CustomEditorPriority

Defined in packages/plugin-ext/src/common/plugin-protocol.ts:168

Index

Enumeration Members

builtin default option

Enumeration Members

builtin

builtin: "builtin"

Defined in packages/plugin-ext/src/common/plugin-protocol.ts:170

default

default: "default"

Defined in packages/plugin-ext/src/common/plugin-protocol.ts:169

option

option: "option"

Defined in packages/plugin-ext/src/common/plugin-protocol.ts:171

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

builtin default option

Loading...