124
const jsonRegistry = Registry.as<IJSONContributionRegistry>(JSONExtensions.JSONContribution);
125
const registerIgnoredSettingsSchema = () => {
127
>
const defaultIgnoredSettings = getDefaultIgnoredSettings();
128
>
const settings = Object.keys(allSettings.properties).filter(setting => !defaultIgnoredSettings.includes(setting));
129
>
const ignoredSettings = defaultIgnoredSettings.filter(setting => !disallowedIgnoredSettings.includes(setting));
130
>
const ignoredSettingsSchema: IJSONSchema = {
131
>
items: {
132
>
type: 'string',
133
>
enum: [...settings, ...ignoredSettings.map(setting => `-${setting}`)]
134
>
},
135
>
};
136
>
jsonRegistry.registerSchema(ignoredSettingsSchemaId, ignoredSettingsSchema);
137
>
};
138
return configurationRegistry.onDidUpdateConfiguration(() => registerIgnoredSettingsSchema());
139
}