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

[add] lsp manager

Browse source
This commit is contained in:
Andy Bunce 2025-10-13 23:07:01 +01:00
parent 38a1909570
commit c4f92f0402
39 changed files with 3481 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -26,7 +26,7 @@
<a class="nav-link active" aria-current="page" href="#">Editor</a>
</li>
<li class="nav-item">
<a class="nav-link" href="#">LSP UI</a>
<a class="nav-link" href="/app/home" target="lsp">LSP Manager</a>
</li>
<li class="nav-item">
<a class="nav-link" href="/dba/logs" target="dba">Dba</a>
@ -57,7 +57,11 @@
generator.xquery</option>
</optgroup>
</select>
<button popovertarget="popAbout" type="button" class="btn btn-light">
<i class="codicon codicon-info"></i>
</button>
</div>
</nav>
</header>
<nav class="page-nav">
@ -144,8 +148,8 @@
<option value="xquery">xquery</option>
<option value="xml">xml</option>
</select>
<button popovertarget="popHelp"><i class="codicon codicon-info"></i></button>
<button id="cmd" type="button" class="btn btn-light" title="Command and key mapping help">
<button id="cmdList" type="button" class="btn btn-light" title="Command and key mapping help">
<i class="codicon codicon-record-keys"></i>
</button>
</footer>
@ -167,21 +171,31 @@
</form>
</dialog>
<dialog id="popHelp" popover>
<dialog id="popCmds" popover>
<form>
<header>Commands and keys
<button type="button" class="btn-close" aria-label="Close"
onclick="$('popHelp').hidePopover(); "></button>
onclick="$('popCmds').hidePopover(); "></button>
</header>
<div id="popHelpInfo" class="modal-body" style="height: 50vh;overflow:scroll;">
TODO
</div>
<div class="modal-footer">
</div>
</form>
</dialog>
<dialog id="popAbout" popover>
<form>
<header>Help</header>
<div class="modal-body" style="height: 50vh;overflow:scroll;">
<p>TODO help info</p>
</div>
<div class="modal-footer">
</div>
</form>
</dialog>
<!-- <popup-info id="popHelp">hhhh</popup-info> -->
<dialog id="popSettings" popover>