Protected
_Protected
_Protected
Readonly
disposablesReadonly
onProtected
Readonly
onProtected
Readonly
preferenceReadonly
readyProtected
Readonly
toProtected
Readonly
workspaceProtected
Readonly
workspaceProtected
delegatethe scope to handle
Protected
createDispose this object.
Protected
ensureProtected
ensureRetrieve the stored value for the given preference and resource URI.
the preference identifier.
the 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
.
Retrieve the configuration URI for the given resource URI.
the uri of the resource or undefined
.
Optional
sectionName: stringthe section to return the URI for, e.g. tasks
or launch
. Defaults to settings.
the corresponding resource URI or undefined
if there is no valid URI.
Retrieves the first valid configuration URI contained by the given resource.
the uri of the container resource or undefined
.
Optional
sectionName: stringthe first valid configuration URI contained by the given resource undefined
if there is no valid configuration URI at all.
Return a JSONObject with all preferences stored in this preference provider
Protected
initResolve the value for the given preference and resource URI.
the preference identifier.
the 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.
the 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.
Whether t