1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/UpdateService.ts b/subprojects/frontend/src/xtext/UpdateService.ts
index d7471cdc..63e28652 100644
--- a/subprojects/frontend/src/xtext/UpdateService.ts
+++ b/subprojects/frontend/src/xtext/UpdateService.ts
@@ -82,6 +82,10 @@ export default class UpdateService {
     }
   }
 
+  get opened(): boolean {
+    return this.webSocketClient.opened;
+  }
+
   private idleUpdate(): void {
     if (!this.webSocketClient.opened || !this.tracker.needsUpdate) {
       return;