feat(frontend): handle page hide events

Integrate better with the page lifecycle state machine, see
https://developer.chrome.com/blog/page-lifecycle-api/

Also makes disconnected notifications less noisy, since they may occur
more frequently now (due to a frozen page being resumed).

1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts
index c02afb3b..1f7e446f 100644
--- a/subprojects/frontend/src/xtext/XtextClient.ts
+++ b/subprojects/frontend/src/xtext/XtextClient.ts
@@ -47,6 +47,10 @@ export default class XtextClient {
     this.occurrencesService = new OccurrencesService(store, this.updateService);
   }
 
+  start(): void {
+    this.webSocketClient.start();
+  }
+
   private onReconnect(): void {
     this.updateService.onReconnect();
     this.occurrencesService.onReconnect();