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

[mod] idle detect

Browse source
This commit is contained in:
Andy Bunce 2025-08-22 17:37:26 +01:00
parent e32e3437a1
commit 1787a8e31f
7 changed files with 2016 additions and 1964 deletions
Download patch file Download diff file Expand all files Collapse all files

4
webapp/lsp/position.xqm
View file

@ -57,8 +57,8 @@ declare function pos:toPosition($text as xs:string,
$index as pos:num
)
as pos:Position {
let $nl:= if($index=>trace("IN ") ge string-length($text)=>trace("L "))
then error(xs:QName("pos:range"),"out of range")
let $nl:= if($index=>trace("IN ") gt string-length($text)=>trace("L "))
then error(xs:QName("pos:range"),`out of range: index={$index},length={string-length($text)}`)
else index-of(string-to-codepoints($text),10)
let $line:=pos:lineAt($nl,$index)
let $off:=if($line eq 0)

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

@ -40,7 +40,7 @@
<option value="xml">xml</option>
</select>
<label for="file">File:</label>
<input id="iFile" type="url" value="file:///some/file.xml" />
<input id="iFile" type="url" value="file:///some/file.xqm" />
<!-- <div class="btn-group mr-2" role="group" aria-label="First group">

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

File diff suppressed because it is too large Load diff

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

File diff suppressed because one or more lines are too long

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

@ -71,11 +71,16 @@ function connect() {
$("mypopover").hidePopover();
connectStatus(true);
let extLsp = lsp.languageServerSupport(client, file, "xquery");
extLint = lsp.linter(
view => { client.sync(); return []; },
{ autoPanel: true });
extLint = lsp.linter(null,{ autoPanel: true });
const doc = view.state.doc.toString();
const state = lsp.createEditorState(doc, [...lsp.baseExts, extLsp, extLint]);
const state = lsp.createEditorState(doc, [...lsp.baseExts, extLsp, extLint,
lsp.debouncedChangeListener({
delay: 5000,
onChange: (content, state) => {
console.log('Debounced change detected:'+content);
client.sync();
}})
]);
view.setState(state);
})
.catch(r => { connectStatus(false); alert("connection failed: " + server) });