Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
core
OverridePreferenceName
Interface OverridePreferenceName
interface
OverridePreferenceName
{
overrideIdentifier
:
string
;
preferenceName
:
string
;
}
Index
Properties
override
Identifier
preference
Name
Properties
override
Identifier
override
Identifier
:
string
preference
Name
preference
Name
:
string
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
override
Identifier
preference
Name
Theia TypeDoc
Loading...