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

[fix] css improvements

Browse source
This commit is contained in:
Andy Bunce 2025-09-25 18:29:28 +01:00
parent a005b42424
commit f6dbec0b4c
3 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -42,8 +42,8 @@ body {
summary { summary {
/* class: bg-info; */ /* class: bg-info; */
--bs-bg-opacity: 1; --bs-bg-opacity: 1;
background-color: rgba(var(--bs-info-rgb), var(--bs-bg-opacity)) !important; background-color: rgba(var(--bs-light-rgb),var(--bs-bg-opacity)) !important;
} }
/* Set editor dimensions */ /* Set editor dimensions */

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

@ -148,7 +148,7 @@
<option value="xquery">xquery</option> <option value="xquery">xquery</option>
<option value="xml">xml</option> <option value="xml">xml</option>
</select> </select>
<button popovertarget="popHelp"><i class="codicon codicon-info"></i></button></a> <button popovertarget="popHelp"><i class="codicon codicon-info"></i></button>
</footer> </footer>
</div> </div>
<!-- Popovers --> <!-- Popovers -->

6
webapp/static/clients/codemirror/list.js
View file

@ -34,12 +34,12 @@ class ListComponent extends HTMLElement {
/* Render the list items #data */ /* Render the list items #data */
render() { render() {
const list = document.createElement('ul'); const list = document.createElement('ul');
list.style="max-height:80cqh;overflow: scroll;"; list.style="max-height:80cqh;overflow: auto;";
const shad=this.#shadow; const shad=this.#shadow;
this.#data.forEach((item, index) => { this.#data.forEach((item, index) => {
const listItem = document.createElement('li'); const listItem = document.createElement('li');
listItem.innerHTML = `<i class='codicon codicon-${this.#iconKinds[item.kind]}'></i> listItem.innerHTML = `<a><i class='codicon codicon-${this.#iconKinds[item.kind]}'></i>
<span>${item.name} - ${item.detail}</span>`; <span>${item.name} - ${item.detail}</span></a>`;
// Adding a click event listener for user interaction // Adding a click event listener for user interaction
listItem.addEventListener('click', () => { listItem.addEventListener('click', () => {
console.log('Item clicked:', item, listItem); console.log('Item clicked:', item, listItem);