1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/ValidationService.ts b/subprojects/frontend/src/xtext/ValidationService.ts
index e78318f7..72414590 100644
--- a/subprojects/frontend/src/xtext/ValidationService.ts
+++ b/subprojects/frontend/src/xtext/ValidationService.ts
@@ -28,4 +28,8 @@ export default class ValidationService {
     });
     this.store.updateDiagnostics(diagnostics);
   }
+
+  onDisconnect(): void {
+    this.store.updateDiagnostics([]);
+  }
 }