1 files changed, 9 insertions, 0 deletions

diff --git a/subprojects/frontend/src/editor/EditorStore.ts b/subprojects/frontend/src/editor/EditorStore.ts
index 3ec33b2c..ecbe6ef8 100644
--- a/subprojects/frontend/src/editor/EditorStore.ts
+++ b/subprojects/frontend/src/editor/EditorStore.ts
@@ -67,6 +67,7 @@ export default class EditorStore {
       contentAssist: false,
       formatText: false,
     });
+    this.client.start();
   }
 
   get opened(): boolean {
@@ -77,6 +78,14 @@ export default class EditorStore {
     return this.client.webSocketClient.opening;
   }
 
+  get disconnectedByUser(): boolean {
+    return this.client.webSocketClient.disconnectedByUser;
+  }
+
+  get networkMissing(): boolean {
+    return this.client.webSocketClient.networkMissing;
+  }
+
   get connectionErrors(): string[] {
     return this.client.webSocketClient.errors;
   }