From eb94326bb64552dbd7df62ae201ccca37f368467 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 5 Sep 2022 01:29:11 +0200 Subject: feat(frontend): show connection status --- subprojects/frontend/src/xtext/UpdateService.ts | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'subprojects/frontend/src/xtext/UpdateService.ts') 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; -- cgit v1.2.3-54-g00ecf