1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts
index cd5d280d..e7d26ae6 100644
--- a/subprojects/frontend/src/xtext/XtextClient.ts
+++ b/subprojects/frontend/src/xtext/XtextClient.ts
@@ -120,4 +120,8 @@ export default class XtextClient {
       log.error('Error while formatting text', e);
     });
   }
+
+  dispose(): void {
+    this.webSocketClient.disconnect();
+  }
 }