fix #3991: update settings schema resource on schema changes

Signed-off-by: Anton Kosyakov <anton.kosyakov@typefox.io>
eclipse-theia · Jan 10, 2019 · 42c4bd2 · 42c4bd2
1 parent 0a6abc4
commit 42c4bd2
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/packages/preferences/src/browser/preferences-frontend-application-contribution.ts b/packages/preferences/src/browser/preferences-frontend-application-contribution.ts
@@ -30,13 +30,16 @@ export class PreferencesFrontendApplicationContribution implements FrontendAppli
 
     onStart() {
         this.schemaProvider.ready.then(async () => {
-            const schema = this.schemaProvider.getCombinedSchema();
+            const serializeSchema = () => JSON.stringify(this.schemaProvider.getCombinedSchema());
             const uri = new URI('vscode://schemas/settings/user');
-            this.inmemoryResources.add(uri, JSON.stringify(schema));
+            this.inmemoryResources.add(uri, serializeSchema());
             this.jsonSchemaStore.registerSchema({
                 fileMatch: ['.theia/settings.json', USER_PREFERENCE_URI.toString()],
                 url: uri.toString()
             });
+            this.schemaProvider.onDidPreferencesChanged(() =>
+                this.inmemoryResources.update(uri, serializeSchema())
+            );
         });
     }
 }