Update playground

stsewd · May 8, 2021 · 5aee336 · 5aee336
1 parent 107b50a
commit 5aee336
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -1,11 +1,12 @@
 <!--
   Based on:
-  - https://github.com/tree-sitter/tree-sitter/blob/bfeec63d/cli/src/web_ui.html#L1
+  - https://github.com/tree-sitter/tree-sitter/blob/335190c/cli/src/web_ui.html
   - https://github.com/ikatyang/tree-sitter-markdown/blob/master/docs/index.html
 
   Assets from:
-  - https://github.com/tree-sitter/tree-sitter.github.io/blob/da6035e/tree-sitter.js
-  - https://github.com/tree-sitter/tree-sitter.github.io/blob/da6035e/tree-sitter.wasm
+  - https://github.com/tree-sitter/tree-sitter/blob/335190c/docs/assets/js/playground.js
+  - https://github.com/tree-sitter/tree-sitter.github.io/blob/30c344c/tree-sitter.js
+  - https://github.com/tree-sitter/tree-sitter.github.io/blob/30c344c/tree-sitter.wasm
 -->
 <head>
   <meta charset="utf-8">

diff --git a/docs/js/playground.js b/docs/js/playground.js
@@ -277,7 +277,7 @@ let tree;
         const startPosition = queryEditor.posFromIndex(error.index);
         const endPosition = {
           line: startPosition.line,
-          ch: startPosition.ch + (error.length || 1)
+          ch: startPosition.ch + (error.length || Infinity)
         };
 
         if (error.index === queryText.length) {

diff --git a/docs/js/tree-sitter.js b/docs/js/tree-sitter.js
diff --git a/docs/js/tree-sitter.wasm b/docs/js/tree-sitter.wasm