Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PreferenceContribution

A PreferenceContribution allows adding additional custom preferences. For this, the PreferenceContribution has to provide a valid JSON Schema specifying which preferences are available including their types and description.

Example usage

const MyPreferencesSchema: PreferenceSchema = {
'type': 'object',
'properties': {
'myext.decorations.enabled': {
'type': 'boolean',
'description': 'Show file status',
'default': true
},
// [...]
}
}
@injectable()
export class MyPreferenceContribution implements PreferenceContribution{
schema= MyPreferencesSchema;
}

Hierarchy

  • PreferenceContribution

Index

Properties

Properties