From f8b00b2bac9cd72f52ca1a07ad4a2ed957defb08 Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Tue, 26 Aug 2025 20:52:44 +0100
Subject: [PATCH] [mod] tidy

---
 webapp/static/clients/codemirror/script.js | 30 ++++++++--------------
 1 file changed, 11 insertions(+), 19 deletions(-)

diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js
index b8d420c..edaedf3 100644
--- a/webapp/static/clients/codemirror/script.js
+++ b/webapp/static/clients/codemirror/script.js
@@ -7,6 +7,7 @@ var client;
 var extLint;
 
 function $(id) { return document.getElementById(id) };
+
 // Load saved content from localStorage when the page loads
 window.addEventListener('load', () => {
     const savedText = localStorage.getItem('code');
@@ -14,38 +15,29 @@ window.addEventListener('load', () => {
         doc = savedText;
     }
     view.setState(lsp.EditorState.create({doc:doc, extensions: lsp.baseExts}));
-    //connect();
+    connect();
 });
+
 // Save content to localStorage when the page is about to unload
 window.addEventListener('beforeunload', () => {
     const doc = view.state.doc.toString();
     localStorage.setItem('code', doc);
 });
-document.getElementById("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));
 
-document.getElementById("lint").onclick = async e => {
+$("lint").onclick = async e => {
     console.log("word", view.state.wordAt(1));
-    const ser = document.getElementById("iServer").value;
-    //const transport = new WebTransport(ser);
-
-    // The connection can be used once ready fulfills
-    //await transport.ready;
     lsp.openLintPanel(view);
 };
 
-document.getElementById("sync").onclick = e => {
-    client.sync();
-    console.log("XXXsync");
-};
+$("sync").onclick = e => { client.sync(); console.log("XXXsync");};
 
-document.getElementById("load").onchange = e => {
+$("load").onchange = e => {
     const url = e.target.value;
     if (url.length == 0) return
     fetch(url)
@@ -62,11 +54,11 @@ document.getElementById("load").onchange = e => {
             client.sync();
             console.log("SYNC");
         });
-    document.getElementById("load").value = "";
+    $("load").value = "";
 };
 function connect() {
-    const server = document.getElementById("iServer").value;
-    const file = document.getElementById("iFile").value;
+    const server = $("iServer").value;
+    const file = $("iFile").value;
     lsp.simpleWebSocketTransport(server)
         .then(transport => {
             transport.subscribe(incoming);