quodatum/basex-lsp
1
0
Fork 0
Code Issues 12 Activity Actions

[mod] tidy

Browse source
This commit is contained in:
Andy Bunce 2025-10-05 21:56:56 +01:00
parent 145334a0d7
commit de11f318e9
2 changed files with 50 additions and 48 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
webapp/static/clients/codemirror/grail.css
View file

@ -14,6 +14,9 @@ body {
height: 100vh; height: 100vh;
margin: 0; margin: 0;
} }
form header {
background-color: burlywood;
}
.page-wrap { .page-wrap {
background: white; background: white;
@ -29,9 +32,7 @@ body {
.navbar * { .navbar * {
box-sizing: content-box; box-sizing: content-box;
} }
form header {
background-color: burlywood;
}
details { details {
padding:2px; padding:2px;
padding-left: 3px; padding-left: 3px;

91
webapp/static/clients/codemirror/grail.html
View file

@ -26,16 +26,37 @@
<a class="nav-link active" aria-current="page" href="#">Editor</a> <a class="nav-link active" aria-current="page" href="#">Editor</a>
</li> </li>
<li class="nav-item"> <li class="nav-item">
<a class="nav-link" href="#">Msgs</a> <a class="nav-link" href="#">LSP UI</a>
</li> </li>
<li class="nav-item"> <li class="nav-item">
<a class="nav-link" href="/dba/logs" target="dba">Dba</a> <a class="nav-link" href="/dba/logs" target="dba">Dba</a>
</li> </li>
<li class="nav-item">
<a class="nav-link disabled" href="#" tabindex="-1" aria-disabled="true">Disabled</a>
</li>
</ul>
</ul>
<select id="load">
<option selected value="">load..</option>
<optgroup label="XQuery3">
<option
value="https://raw.githubusercontent.com/expkg-zone58/pdfbox/refs/heads/main/src/Pdfbox3.xqm">
Pdfbox3.xqm</option>
<option
value="https://raw.githubusercontent.com/Quodatum/xqdoca/refs/heads/master/src/main/lib/model.xqm">
model.xqm</option>
</optgroup>
<optgroup label="XQuery4">
<option
value="https://git.quodatum.duckdns.org/quodatum/basex-lsp/raw/branch/main/webapp/lsp/lsp-text.xqm">
lsp-text.xqm</option>
<option value="../../../lsp/lsp-text.xqm">
lsp-text.xqm</option>
</optgroup>
<optgroup label="xpath">
<option
value="https://raw.githubusercontent.com/dnovatchev/Articles/refs/heads/main/Generators/Code/generator.xq">
generator.xquery</option>
</optgroup>
</select>
</div> </div>
</nav> </nav>
</header> </header>
@ -98,32 +119,9 @@
<aside class="page-sidebar"> <aside class="page-sidebar">
<details id="workspacePanel" open="open" > <details id="workspacePanel" open="open">
<summary class='bg-info'>Workspace <b>0</b></summary> <summary class='bg-info'>Workspace <b>0</b></summary>
<select id="load">
<option selected value="">load..</option>
<optgroup label="XQuery3">
<option
value="https://raw.githubusercontent.com/expkg-zone58/pdfbox/refs/heads/main/src/Pdfbox3.xqm">
Pdfbox3.xqm</option>
<option
value="https://raw.githubusercontent.com/Quodatum/xqdoca/refs/heads/master/src/main/lib/model.xqm">
model.xqm</option>
</optgroup>
<optgroup label="XQuery4">
<option
value="https://git.quodatum.duckdns.org/quodatum/basex-lsp/raw/branch/main/webapp/lsp/lsp-text.xqm">
lsp-text.xqm</option>
<option value="../../../lsp/lsp-text.xqm">
lsp-text.xqm</option>
</optgroup>
<optgroup label="xpath">
<option
value="https://raw.githubusercontent.com/dnovatchev/Articles/refs/heads/main/Generators/Code/generator.xq">
generator.xquery</option>
</optgroup>
</select>
<ul id="traffic" style="overflow: scroll;"> <ul id="traffic" style="overflow: scroll;">
<li>-</li> <li>-</li>
@ -131,12 +129,12 @@
</details> </details>
<details id="symPanel"> <details id="symPanel">
<summary >OutLine <b>0</b></summary> <summary>OutLine <b>0</b></summary>
<json-list id="symList" ></json-list> <json-list id="symList"></json-list>
</details> </details>
<details id="msgPanel" > <details id="msgPanel">
<summary >Messages <b>0</b></summary> <summary>Messages <b>0</b></summary>
<div id="msg">(msgs)<i class='codicon codicon-symbol-method'></i></div> <div id="msg">(msgs)<i class='codicon codicon-symbol-method'></i></div>
</details> </details>
</aside> </aside>
@ -153,16 +151,19 @@
</div> </div>
<!-- Popovers --> <!-- Popovers -->
<dialog id="popConnect" popover> <dialog id="popConnect" popover>
<header>Connect to LSP <form>
<button type="button" class="btn-close" data-bs-dismiss="modal" aria-label="Close"></button> <header>Connect to LSP
</header> <button type="button" class="btn-close" aria-label="Close"
<div class="modal-body"> onclick="$('popConnect').hidePopover(); "></button>
<div id="state">🔴</div> </header>
<input id="iServer" type="text" style="width:25em" /> <div class="modal-body">
</div> <div id="state">🔴</div>
<div class="modal-footer"> <input id="iServer" type="text" style="width:25em" />
<button id="connect">connect</button> </div>
</div> <div class="modal-footer">
<button id="connect">connect</button>
</div>
</form>
</dialog> </dialog>
<!-- <popup-info id="popHelp">hhhh</popup-info> --> <!-- <popup-info id="popHelp">hhhh</popup-info> -->
@ -170,7 +171,7 @@
<dialog id="popSettings" popover> <dialog id="popSettings" popover>
<form id="fSettings"> <form id="fSettings">
<header>Editor configuration <header>Editor configuration
<button type="button" class="btn-close" data-bs-dismiss="modal" aria-label="Close" <button type="button" class="btn-close" aria-label="Close"
onclick="$('popSettings').hidePopover(); "></button> onclick="$('popSettings').hidePopover(); "></button>
</header> </header>
<div class="modal-body"> <div class="modal-body">
@ -179,7 +180,7 @@
<input name="wrapLines" type="checkbox" class="form-check-input" id="lineWrap"> <input name="wrapLines" type="checkbox" class="form-check-input" id="lineWrap">
<label class="form-check-label" for="lineWrap">Wrap lines</label> <label class="form-check-label" for="lineWrap">Wrap lines</label>
</div> </div>
<div class="mb-3 form-check"> <div class="mb-3 form-check">
<input name="minimap" type="checkbox" class="form-check-input" id="minimap"> <input name="minimap" type="checkbox" class="form-check-input" id="minimap">
<label class="form-check-label" for="minimap">Show minimap</label> <label class="form-check-label" for="minimap">Show minimap</label>
</div> </div>