Don't show deprecated preferences in the UI (#11246)

eclipse-theia · Jun 6, 2022 · 96a3950 · 96a3950
1 parent bbac7e3
commit 96a3950
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/preferences/src/browser/util/preference-tree-generator.ts b/packages/preferences/src/browser/util/preference-tree-generator.ts
@@ -98,7 +98,7 @@ export class PreferenceTreeGenerator {
         }
         for (const propertyName of propertyNames) {
             const property = preferencesSchema.properties[propertyName];
-            if (!this.preferenceConfigs.isSectionName(propertyName) && !OVERRIDE_PROPERTY_PATTERN.test(propertyName)) {
+            if (!this.preferenceConfigs.isSectionName(propertyName) && !OVERRIDE_PROPERTY_PATTERN.test(propertyName) && !property.deprecationMessage) {
                 const labels = propertyName.split('.');
                 const groupID = this.getGroupName(labels);
                 const subgroupName = this.getSubgroupName(labels, groupID);