hover #5
Owner
```
const range = document.getWordRangeAtPosition(position);
if (!range) return null
const word = document.getText(range);
const linter = xqLinters.xqlint(document.uri);
const what = inspectAst(linter, position);
if (what.type === 'WS') return null;
const hovers: vscode.MarkdownString[]=[
what.display?markdownString("**"+what.display+"**"):null,
markdownString(what.get?.description)
];
if (Configuration.xqueryShowHovers) {
const parsePath = markdownString(
'<a href="https://quodatum.github.io/basex-xqparse/i-BaseX.xhtml#' + what.path[0] + '">Path:<a>');
parsePath.appendText(what.path.join("/"));
const debugInfo=`[${position.line},${position.character}] Word: ${word},
value: ${what.value}, type: ${what?.type}`;
hovers.push(markdownString(debugInfo));
hovers.push( parsePath);
}
return new vscode.Hover(hovers);
```
Loading…
Add table
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?