traxys/tree-sitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

In docs playground, scroll tree whenever cursor moves

Browse source
This commit is contained in:
Max Brunsfeld 2019-04-26 19:13:32 -07:00
parent b4c4dc48ff
commit 4febbc43f6
1 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
docs/assets/js/playground.js
View file

@ -125,8 +125,6 @@ var handleCursorMovement = debounce(() => {
highlightedNodeLink = null;
}
if (!codeEditor.somethingSelected()) return;
const selection = codeEditor.getDoc().listSelections()[0];
let start = {row: selection.anchor.line, column: selection.anchor.ch};
let end = {row: selection.head.line, column: selection.head.ch};
@ -163,10 +161,10 @@ var renderTree = debounce(() => {
result += "(<a class='tree-link' href='#' ";
result += `data-id="${node[0]}" data-row=${start.row} data-column=${start.column}>${type}</a>`
result += `[${start.row + 1}, ${start.column}] - [${end.row + 1}, ${end.column}]`;
if (node.namedChildCount > 0) {
for (let i = 0, n = node.namedChildCount; i < n; i++) {
if (node.namedChildren.length > 0) {
for (let i = 0, n = node.namedChildren.length; i < n; i++) {
result += '\n';
renderNode(node.namedChild(i), indentLevel + 1);
renderNode(node.namedChildren[i], indentLevel + 1);
}
}
result += ')';