From 93318006561ca4fb24468fbd760c20273c4c8bb6 Mon Sep 17 00:00:00 2001 From: Andy Bunce Date: Sat, 23 Aug 2025 11:46:16 +0100 Subject: [PATCH] [mod] settings --- webapp/static/clients/codemirror/index.html | 26 ++++++++++++++------- webapp/static/clients/codemirror/script.js | 2 +- 2 files changed, 19 insertions(+), 9 deletions(-) diff --git a/webapp/static/clients/codemirror/index.html b/webapp/static/clients/codemirror/index.html index 22c88d6..19487ee 100644 --- a/webapp/static/clients/codemirror/index.html +++ b/webapp/static/clients/codemirror/index.html @@ -20,15 +20,10 @@ #
@@ -59,7 +54,11 @@
- + + +
@@ -107,7 +106,18 @@ + +
+

Connect to LSP

+
🔴
+ + +
+
+

Settings

+
TODO
+
diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js index 7d2281d..479278c 100644 --- a/webapp/static/clients/codemirror/script.js +++ b/webapp/static/clients/codemirror/script.js @@ -68,7 +68,7 @@ function connect() { transport.socket.onclose = (event) => connectStatus(false); transport.socket.oneror = (event) => $("msg").innerText = "sock error!"; client = new lsp.LSPClient().connect(transport); - $("mypopover").hidePopover(); + $("popConnect").hidePopover(); connectStatus(true); let extLsp = lsp.languageServerSupport(client, file, "xquery"); extLint = lsp.linter(null,{ autoPanel: true });