From afb9e59fe422b8bdbcf014cc6a279ef3699d01d5 Mon Sep 17 00:00:00 2001 From: Andy Bunce Date: Mon, 3 Nov 2025 11:08:42 +0000 Subject: [PATCH] [mod] header --- webapp/static/clients/codemirror/grail.html | 58 ++++++++++++++------- 1 file changed, 38 insertions(+), 20 deletions(-) diff --git a/webapp/static/clients/codemirror/grail.html b/webapp/static/clients/codemirror/grail.html index 199c393..ba8f74c 100644 --- a/webapp/static/clients/codemirror/grail.html +++ b/webapp/static/clients/codemirror/grail.html @@ -42,10 +42,11 @@ Open - + + Web - URL + @@ -73,16 +74,19 @@ - - LSP Manager - - - Dba - + + + Links + + LSP Manager + + Dba - + + + @@ -140,11 +144,16 @@
WORKSPACE + + file:///some/file.xqm + Luna + Meowy McGee + Milo + Mittens + Oliver + -
    -
  • -
  • -
@@ -205,13 +214,22 @@ -
- + + - - - + + + + Fetch