Protected
Readonly
_Protected
deferredProtected
fireReadonly
onProtected
Readonly
onProtected
Readonly
preferenceProtected
Readonly
preferenceProtected
Readonly
toProtected
changeDispose this object.
Protected
emitInforms the listeners that one or more preferences of this provider are changed. The listeners are able to find what was changed from the emitted event.
Retrieve the stored value for the given preference and resource URI.
the preference identifier.
Optional
resourceUri: stringthe uri of the resource for which the preference is stored. This is used to retrieve
a potentially different value for the same preference for different resources, for example files.encoding
.
the value stored for the given preference and resourceUri if it exists, otherwise undefined
.
Return a JSONObject with all preferences stored in this preference provider
Protected
mergeResolve the value for the given preference and resource URI.
the preference identifier.
Optional
resourceUri: stringthe URI of the resource for which this provider should resolve the preference. This is used to retrieve
a potentially different value for the same preference for different resources, for example files.encoding
.
an object containing the value stored for the given preference and resourceUri if it exists,
otherwise undefined
.
Stores a new value for the given preference key in the provider.
the preference key (typically the name).
the new preference value.
Optional
resourceUri: stringthe URI of the resource for which the preference is stored.
a promise that only resolves if all changes were delivered.
If changes were made then implementation must either
await on this.emitPreferencesChangedEvent(...)
or
this.pendingChanges
if changes are fired indirectly.