1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/HighlightingService.ts b/subprojects/frontend/src/xtext/HighlightingService.ts
index f9ab7b7e..a126ee40 100644
--- a/subprojects/frontend/src/xtext/HighlightingService.ts
+++ b/subprojects/frontend/src/xtext/HighlightingService.ts
@@ -31,4 +31,8 @@ export default class HighlightingService {
     });
     this.store.updateSemanticHighlighting(ranges);
   }
+
+  onDisconnect(): void {
+    this.store.updateSemanticHighlighting([]);
+  }
 }