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

[fix] linter autopanel

Browse source
This commit is contained in:
Andy Bunce 2025-08-28 17:47:17 +01:00
parent 18f3f309c7
commit 253eb62c07
3 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
webapp/static/clients/codemirror/lsp.bundle.js
View file

@ -16975,7 +16975,7 @@ var lsp = (function (exports) {
this.view.dispatch(setDiagnostics(this.view.state, annotations.reduce((a, b) => a.concat(b)))); this.view.dispatch(setDiagnostics(this.view.state, annotations.reduce((a, b) => a.concat(b))));
}, error => { logException(this.view.state, error); }); }, error => { logException(this.view.state, error); });
} }
} }
update(update) { update(update) {
let config = update.state.facet(lintConfig); let config = update.state.facet(lintConfig);
if (update.docChanged || config != update.startState.facet(lintConfig) || if (update.docChanged || config != update.startState.facet(lintConfig) ||

2
webapp/static/clients/codemirror/popover.js
View file

@ -1,4 +1,4 @@
// Create a class for the element // a popover dialog NOT WORKING
class PopupInfo extends HTMLElement { class PopupInfo extends HTMLElement {
constructor() { constructor() {
// Always call super first in constructor // Always call super first in constructor

5
webapp/static/clients/codemirror/script.js
View file

@ -73,11 +73,12 @@ function connect() {
let up=lsp.debouncedChangeListener({ let up=lsp.debouncedChangeListener({
delay: 750, delay: 750,
onChange: (content, state) => { onChange: (content, state) => {
console.log('Debounced change detected:'+content); console.log('Debounced change detected:');
client.sync(); client.sync();
}}) }})
view.dispatch({ effects: lsp.StateEffect.appendConfig.of([...extLsp,up]) }) view.dispatch({ effects: lsp.StateEffect.appendConfig.of(
[lsp.linter(null, {autoPanel:true}),...extLsp,up]) })
}) })
.catch(r => { connectStatus(false); alert("connection failed: " + server) }); .catch(r => { connectStatus(false); alert("connection failed: " + server) });