Protected Readonly _readyProtected Readonly combinedProtected Readonly configurationsProtected deferredProtected fireRest ...arguments: []Protected Readonly folderReadonly onProtected Readonly onReadonly onProtected Readonly onProtected Readonly overrideProtected overrideProtected Readonly preferenceProtected Readonly preferenceProtected Readonly preferencesProtected Readonly toProtected Readonly workspaceResolved when the preference provider is ready to provide preferences It should be resolved by subclasses.
Protected doOptional domain?: string[]Protected doProtected doProtected emitProtected fireRetrieve 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.
Retrieve the configuration URI for the given resource URI.
Optional resourceUri: stringthe 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.
Protected getOptional getRetrieves the first valid configuration URI contained by the given resource.
Optional resourceUri: stringthe 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.
Protected getProtected initProtected mergeProtected readRegister a new overrideIdentifier. Existing identifiers are not replaced.
Allows overriding existing values while keeping both values in store. For example to store different editor settings, e.g. "[markdown].editor.autoIndent", "[json].editor.autoIndent" and "editor.autoIndent"
the new overrideIdentifier
Protected removeResolve 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.
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.
Protected updateproperty will be assigned to field key in the schema. Pass a new object to invalidate old schema.
Protected updateProtected updateProtected validateStatic deepStatic merge
The PreferenceSchemaProvider collects all PreferenceContributions and combines the preference schema provided by these contributions into one collective schema. The preferences which are provided by this PreferenceProvider are derived from this combined schema.