From b89310e65915e9f87c38e7a72a536a0fc0c1cff6 Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Sun, 7 Sep 2025 22:30:34 +0100
Subject: [PATCH 1/2] [fix] sync

---
 webapp/static/clients/codemirror/script.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js
index ccdc52d..3409ddd 100644
--- a/webapp/static/clients/codemirror/script.js
+++ b/webapp/static/clients/codemirror/script.js
@@ -65,8 +65,8 @@ $("load").onchange = e => {
                     insert: t
                 }
             })
-            client.sync();
-            console.log("SYNC");
+            //client.sync();
+            //console.log("SYNC");
         });
     $("load").value = "";
 };

From e1a46c85779642ac890d7cd19a5e6e3ebe59ddda Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Sun, 7 Sep 2025 22:46:09 +0100
Subject: [PATCH 2/2] [fix] sync

---
 webapp/static/clients/codemirror/script.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js
index 3409ddd..c5e1bd3 100644
--- a/webapp/static/clients/codemirror/script.js
+++ b/webapp/static/clients/codemirror/script.js
@@ -47,7 +47,6 @@ $("lint").onclick = async e => {
 $("sync").onclick = e => { client.sync(); console.log("XXXsync"); };
 
 $("format").onclick = e => {
-    client.sync();
     console.log("FMT", lsp.formatDocument(view));
 };