diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorStore.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorStore.ts | 9 |
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 { | |||
67 | contentAssist: false, | 67 | contentAssist: false, |
68 | formatText: false, | 68 | formatText: false, |
69 | }); | 69 | }); |
70 | this.client.start(); | ||
70 | } | 71 | } |
71 | 72 | ||
72 | get opened(): boolean { | 73 | get opened(): boolean { |
@@ -77,6 +78,14 @@ export default class EditorStore { | |||
77 | return this.client.webSocketClient.opening; | 78 | return this.client.webSocketClient.opening; |
78 | } | 79 | } |
79 | 80 | ||
81 | get disconnectedByUser(): boolean { | ||
82 | return this.client.webSocketClient.disconnectedByUser; | ||
83 | } | ||
84 | |||
85 | get networkMissing(): boolean { | ||
86 | return this.client.webSocketClient.networkMissing; | ||
87 | } | ||
88 | |||
80 | get connectionErrors(): string[] { | 89 | get connectionErrors(): string[] { |
81 | return this.client.webSocketClient.errors; | 90 | return this.client.webSocketClient.errors; |
82 | } | 91 | } |