1 files changed, 10 insertions, 1 deletions

diff --git a/subprojects/frontend/src/xtext/OccurrencesService.ts b/subprojects/frontend/src/xtext/OccurrencesService.ts
index c8d6fd7b..9d738d76 100644
--- a/subprojects/frontend/src/xtext/OccurrencesService.ts
+++ b/subprojects/frontend/src/xtext/OccurrencesService.ts
@@ -41,6 +41,15 @@ export default class OccurrencesService {
     private readonly updateService: UpdateService,
   ) {}
 
+  onReconnect(): void {
+    this.clearOccurrences();
+    this.findOccurrencesLater();
+  }
+
+  onDisconnect(): void {
+    this.clearOccurrences();
+  }
+
   onTransaction(transaction: Transaction): void {
     if (transaction.docChanged) {
       // Must clear occurrences asynchronously from `onTransaction`,
@@ -91,7 +100,7 @@ export default class OccurrencesService {
   }
 
   private async updateOccurrences() {
-    if (!this.needsOccurrences) {
+    if (!this.needsOccurrences || !this.updateService.opened) {
       this.clearOccurrences();
       return;
     }