From 3e3cfd418fbf2fb285d30d40711c6744210bd696 Mon Sep 17 00:00:00 2001
From: Brad Cornes <bradlc41@gmail.com>
Date: Tue, 4 May 2021 14:32:19 +0100
Subject: [PATCH] keep editor state intact

---
 src/server.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/server.ts b/src/server.ts
index 306a515..f6115e0 100644
--- a/src/server.ts
+++ b/src/server.ts
@@ -251,7 +251,9 @@ async function createProjectService(
   function resetState(): void {
     clearAllDiagnostics(state)
     Object.keys(state).forEach((key) => {
-      delete state[key]
+      if (key !== 'editor') {
+        delete state[key]
+      }
     })
     state.enabled = false
     registerCapabilities()