diff --git a/webapp/static/clients/codemirror/lsp.bundle.js b/webapp/static/clients/codemirror/lsp.bundle.js index 5aa0322..81ac9ba 100644 --- a/webapp/static/clients/codemirror/lsp.bundle.js +++ b/webapp/static/clients/codemirror/lsp.bundle.js @@ -16975,7 +16975,7 @@ var lsp = (function (exports) { this.view.dispatch(setDiagnostics(this.view.state, annotations.reduce((a, b) => a.concat(b)))); }, error => { logException(this.view.state, error); }); } - } + } update(update) { let config = update.state.facet(lintConfig); if (update.docChanged || config != update.startState.facet(lintConfig) || diff --git a/webapp/static/clients/codemirror/popover.js b/webapp/static/clients/codemirror/popover.js index 49d16a6..85b0acc 100644 --- a/webapp/static/clients/codemirror/popover.js +++ b/webapp/static/clients/codemirror/popover.js @@ -1,4 +1,4 @@ -// Create a class for the element +// a popover dialog NOT WORKING class PopupInfo extends HTMLElement { constructor() { // Always call super first in constructor diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js index 5ffe813..5734654 100644 --- a/webapp/static/clients/codemirror/script.js +++ b/webapp/static/clients/codemirror/script.js @@ -73,11 +73,12 @@ function connect() { let up=lsp.debouncedChangeListener({ delay: 750, onChange: (content, state) => { - console.log('Debounced change detected:'+content); + console.log('Debounced change detected:'); 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) });