Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
CustomEditorPriority
Enumeration CustomEditorPriority
Index
Enumeration Members
builtin
default
option
Enumeration Members
builtin
builtin
:
"builtin"
default
default
:
"default"
option
option
:
"option"
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
builtin
default
option
Theia TypeDoc
Loading...