Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
PreferenceChangeExt
Interface PreferenceChangeExt
interface
PreferenceChangeExt
{
newValue
:
any
;
preferenceName
:
string
;
scope
?:
string
;
}
Index
Properties
new
Value
preference
Name
scope?
Properties
new
Value
newValue
:
any
preference
Name
preferenceName
:
string
Optional
scope
scope
?:
string
The URI the folder affected, or undefined if User scope.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
new
Value
preference
Name
scope
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
The URI the folder affected, or undefined if User scope.