vscode-ext: fix flickering view rendering after server restart

moves-rwth · May 30, 2024 · 93ea12b · 93ea12b
1 parent fa95480
commit 93ea12b
Showing 1 changed file with 12 additions and 10 deletions.
diff --git a/vscode-ext/src/CaesarClient.ts b/vscode-ext/src/CaesarClient.ts
@@ -113,6 +113,17 @@ export class CaesarClient {
                 this.needsRestart = true;
             }
         }));
+
+        // 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);
+            }));
+        }
     }
 
     private async createClient(recommendInstallation: boolean): Promise<LanguageClient | null> {
@@ -171,16 +182,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) => {