From 532580273b3eba83a64c7390fd67b8618683c8a1 Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Fri, 29 Aug 2025 11:39:39 +0100
Subject: [PATCH] [add] server save/default

---
 webapp/static/clients/codemirror/index.html |  2 +-
 webapp/static/clients/codemirror/script.js  | 61 ++++++++++++---------
 2 files changed, 36 insertions(+), 27 deletions(-)

diff --git a/webapp/static/clients/codemirror/index.html b/webapp/static/clients/codemirror/index.html
index 012f111..75aa252 100644
--- a/webapp/static/clients/codemirror/index.html
+++ b/webapp/static/clients/codemirror/index.html
@@ -112,7 +112,7 @@
         </header>
         <div class="modal-body">
             <div id="state">🔴</div>
-            <input id="iServer" type="text" value="ws://localhost:3000/ws/lsp" style="width:25em" />
+            <input id="iServer" type="text"  style="width:25em" />
         </div>
         <div class="modal-footer">
             <button id="connect">connect</button>
diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js
index c37aacd..5c6c010 100644
--- a/webapp/static/clients/codemirror/script.js
+++ b/webapp/static/clients/codemirror/script.js
@@ -1,21 +1,26 @@
 const view = new lsp.EditorView({
-    extensions:  lsp.baseExts,
-    parent:document.getElementById("editor")
+    extensions: lsp.baseExts,
+    parent: document.getElementById("editor")
 });
 let doc = "xquery version '3.1';\n(:~ comment:)\nmodule namespace pdfbox='ns';\n";
 var client;
 var extLint;
 
-function $(id){ return document.getElementById(id) };
+function $(id) { return document.getElementById(id) };
 
 // Load saved content from localStorage when the page loads
 window.addEventListener('load', () => {
     const savedText = localStorage.getItem('code');
-    if (savedText) {
-        doc = savedText;
+    if (savedText) doc = savedText;
+    let svr = localStorage.getItem('lsp');
+    if (!svr) {
+        let x = new URL(window.location.href);
+        x.protocol = "ws";
+        x.pathname = "ws/lsp"
+        svr = x.href;
     }
-    
-    view.setState(lsp.EditorState.create({doc:doc, extensions: lsp.baseExts}));
+    $("iServer").value = svr;
+    view.setState(lsp.EditorState.create({ doc: doc, extensions: lsp.baseExts }));
     connect();
 });
 
@@ -23,24 +28,25 @@ window.addEventListener('load', () => {
 window.addEventListener('beforeunload', () => {
     const doc = view.state.doc.toString();
     localStorage.setItem('code', doc);
+    localStorage.setItem('lsp', $("iServer").value);
 });
 
-$("connect").onclick = e => { e.preventDefault();connect()};
+$("connect").onclick = e => { e.preventDefault(); connect() };
 
 $("search").onclick = e => lsp.openSearchPanel(view);
 
-$("format").onclick = e => console.log("CMDS",lsp.listCommands(view));
+$("format").onclick = e => console.log("CMDS", lsp.listCommands(view));
 
 $("lint").onclick = async e => {
     console.log("word", view.state.wordAt(1));
     lsp.openLintPanel(view);
 };
 
-$("sync").onclick = e => { client.sync(); console.log("XXXsync");};
+$("sync").onclick = e => { client.sync(); console.log("XXXsync"); };
 
-$("format").onclick = e => { 
-    client.sync(); 
-    console.log("FMT",lsp.formatDocument(view));
+$("format").onclick = e => {
+    client.sync();
+    console.log("FMT", lsp.formatDocument(view));
 };
 
 $("load").onchange = e => {
@@ -70,20 +76,23 @@ function connect() {
             transport.socket.onclose = (event) => connectStatus(false);
             transport.socket.oneror = (event) => $("msg").innerText = "sock error!";
             transport.subscribe(incoming);
-            client = new lsp.LSPClient({extensions: lsp.languageServerExtensions()});
+            client = new lsp.LSPClient({ extensions: lsp.languageServerExtensions() });
             client.connect(transport);
-            $("popConnect").hidePopover(); 
+            $("popConnect").hidePopover();
             connectStatus(true);
-            let extLsp =client.plugin( file, "xquery");
-            let up=lsp.debouncedChangeListener({
+            let extLsp = client.plugin(file, "xquery");
+            let up = lsp.debouncedChangeListener({
                 delay: 750,
                 onChange: (content, state) => {
-                  console.log('Debounced change detected:');
-                  client.sync();
-                }})
+                    console.log('Debounced change detected:');
+                    client.sync();
+                }
+            })
 
-            view.dispatch({ effects: lsp.StateEffect.appendConfig.of(
-                [lsp.linter(null,  {autoPanel:true}),...extLsp,up]) })
+            view.dispatch({
+                effects: lsp.StateEffect.appendConfig.of(
+                    [lsp.linter(null, { autoPanel: true }), ...extLsp, up])
+            })
         })
         .catch(r => { connectStatus(false); alert("connection failed: " + server) });
 
@@ -102,17 +111,17 @@ function connectStatus(bool) {
 function incoming(msg) {
     const rpc = JSON.parse(msg);
     log(rpc);
-   
+
 };
 
 
 function log(rpc) {
-    console.log("<-",rpc)
+    console.log("<-", rpc)
     if (rpc.id) return
     const text = rpc.method;
     const li = document.createElement("li");
-    const n=$("traffic").childElementCount + " ";
-    li.appendChild(document.createTextNode(n  + text));
+    const n = $("traffic").childElementCount + " ";
+    li.appendChild(document.createTextNode(n + text));
     $("traffic").insertBefore(li, $("traffic").firstChild)
 };