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

[mod] tidy

Browse source
This commit is contained in:
Andy Bunce 2025-10-30 10:42:59 +00:00
parent c4d2770bae
commit 30f913906d
4 changed files with 46 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,5 +1,5 @@
<!doctype html>
<html lang="en" class="quiet-cloak">
<html lang="en" class="quiet-cloak "> <!-- also quiet-dark -->
<head>
<meta charset="utf-8">
@ -8,8 +8,14 @@
<link rel="icon" type="image/png" href="../favicon.png" />
<!-- Quiet theme + autoloader -->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@quietui/quiet-browser@1.4.0/dist/themes/quiet.css">
<script type="module" src="https://cdn.jsdelivr.net/npm/@quietui/quiet-browser@1.4.0/dist/quiet.loader.js"></script>
<!-- Default theme (if not already installed) -->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@quietui/quiet-browser@1.6.1/dist/themes/quiet.css">
<!-- Quiet Restyle
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@quietui/quiet-browser@1.6.1/dist/themes/restyle.css">
-->
<script type="module" src="https://cdn.jsdelivr.net/npm/@quietui/quiet-browser@1.6.1/dist/quiet.loader.js"></script>
<link rel="stylesheet" href="grail.css" />
@ -27,7 +33,7 @@
<quiet-icon slot="checked" name="network" family="outline"></quiet-icon>
</quiet-toggle-icon>
<quiet-button-group label="Links">
<quiet-toolbar label="Links">
<quiet-button href="#" variant="primary" aria-current="page" size="sm">
Editor
</quiet-button>
@ -37,8 +43,8 @@
<quiet-button href="/dba/logs" target="dba" rel="noreferrer noopener" size="sm">
Dba
</quiet-button>
</quiet-button-group>
<select id="load">
</quiet-toolbar>
<quiet-select id="load" style="width:20em;">
<option selected value="">load..</option>
<optgroup label="XQuery3">
<option
@ -61,7 +67,7 @@
value="https://raw.githubusercontent.com/dnovatchev/Articles/refs/heads/main/Generators/Code/generator.xq">
generator.xquery</option>
</optgroup>
</select>
</quiet-select>
<button popovertarget="popAbout" type="button">
<i class="codicon codicon-info"></i>
@ -71,12 +77,7 @@
<main class="page-main" style="overflow: auto;">
<quiet-toolbar>
<quiet-button-group>
<label for="file">File:</label>
<input id="iFile" type="url" value="file:///some/file.xqm" />
<label for="symbols">Symbols:</label><select id="symbols" disabled="disabled"></select>
</quiet-button-group>
<quiet-button-group>
<button id="search" title="Search" type="button" class="btn btn-light"><i
@ -155,25 +156,31 @@
</aside>
<footer class="page-footer">
<div style="display:flex;">
<select id="language" style="width:10em;display:inline-block;">
<option selected>Language</option>
<option value="plaintext">plaintext</option>
<option value="xquery">xquery</option>
<option value="xml">xml</option>
</select>
<div>
<label for="iFile">File:</label>
<input id="iFile" type="url" value="file:///some/file.xqm" style="width:10em;display:inline-block;" />
<select id="language">
<option selected>Language</option>
<option value="plaintext">plaintext</option>
<option value="xquery">xquery</option>
<option value="xml">xml</option>
</select>
<label for="symbols">Symbols:</label>
<select id="symbols" disabled="disabled" style="width:10em;display:inline-block;"></select>
</div>
</div>
<quiet-relative-time live id="relative-time__live" style="width:10em;"></quiet-relative-time>
<quiet-dropdown id="dropdown__checkboxes">
<quiet-button slot="trigger"><i class='codicon codicon-kebab-vertical'></i></quiet-button>
<quiet-dropdown-item type="checkbox" value="canvas" checked>Follow cursor</quiet-dropdown-item>
<quiet-divider></quiet-divider>
<quiet-radio orientation="vertical" name="sortBy">
<quiet-radio-item value="position">sort by: position</quiet-radio-item>
<quiet-radio-item value="name">sort by: name</quiet-radio-item>
<quiet-radio-item value="category">sort by: category</quiet-radio-item>
</quiet-radio>
<quiet-divider></quiet-divider>
<quiet-dropdown-item type="checkbox" value="position" checked>sort by: Position</quiet-dropdown-item>
<quiet-dropdown-item type="checkbox" value="name">sort by: Name</quiet-dropdown-item>
<quiet-dropdown-item type="checkbox" value="category">sort by: Category</quiet-dropdown-item>
</quiet-dropdown>