Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PreferenceRegistryMain

Hierarchy

  • PreferenceRegistryMain

Implemented by

Index

Methods

  • $removeConfigurationOption(target: undefined | boolean | ConfigurationTarget, key: string, resource?: string, withLanguageOverride?: boolean): PromiseLike<void>
  • $updateConfigurationOption(target: undefined | boolean | ConfigurationTarget, key: string, value: any, resource?: string, withLanguageOverride?: boolean): PromiseLike<void>