feat(frontend): show connection status

1 files changed, 20 insertions, 0 deletions

diff --git a/subprojects/frontend/src/editor/EditorStore.ts b/subprojects/frontend/src/editor/EditorStore.ts
index 4407376b..3ec33b2c 100644
--- a/subprojects/frontend/src/editor/EditorStore.ts
+++ b/subprojects/frontend/src/editor/EditorStore.ts
@@ -69,6 +69,26 @@ export default class EditorStore {
     });
   }
 
+  get opened(): boolean {
+    return this.client.webSocketClient.opened;
+  }
+
+  get opening(): boolean {
+    return this.client.webSocketClient.opening;
+  }
+
+  get connectionErrors(): string[] {
+    return this.client.webSocketClient.errors;
+  }
+
+  connect(): void {
+    this.client.webSocketClient.connect();
+  }
+
+  disconnect(): void {
+    this.client.webSocketClient.disconnect();
+  }
+
   setDarkMode(darkMode: boolean): void {
     log.debug('Update editor dark mode', darkMode);
     this.dispatch({