Merge pull request #27 from umutdural/vscode-ext

vscode-ext: fix flickering view rendering after server restart
moves-rwth · Jun 4, 2024 · f617f01 · f617f01
2 parents d089b90 + bd6f005
commit f617f01
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/vscode-ext/src/CaesarClient.ts b/vscode-ext/src/CaesarClient.ts
@@ -113,6 +113,15 @@ export class CaesarClient {
                 this.needsRestart = true;
             }
         }));
+
+        // listen to onDidSaveTextDocument events
+        this.context.subscriptions.push(vscode.workspace.onDidSaveTextDocument((document) => {
+            if (document.languageId !== "heyvl" && CaesarConfig.get(ConfigurationConstants.automaticVerification) !== "onsave") {
+                return;
+            }
+            void this.verify(document);
+        }));
+
     }
 
     private async createClient(recommendInstallation: boolean): Promise<LanguageClient | null> {
@@ -171,16 +180,7 @@ export class CaesarClient {
             }
         }));
 
-        // listen to onDidSaveTextDocument events
-        const autoVerify: string = CaesarConfig.get(ConfigurationConstants.automaticVerification);
-        if (autoVerify === "onsave") {
-            context.subscriptions.push(vscode.workspace.onDidSaveTextDocument((document) => {
-                if (document.languageId !== "heyvl") {
-                    return;
-                }
-                void this.verify(document);
-            }));
-        }
+
 
         // check server version
         context.subscriptions.push(client.onNotification("custom/caesarReady", (event) => {