Upgraded playground.js

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus-community · Apr 5, 2024 · 7ec155b · 7ec155b
1 parent b4cc9e0
commit 7ec155b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tree-sitter-tlaplus/js/playground.js b/tree-sitter-tlaplus/js/playground.js
@@ -181,7 +181,7 @@ let tree;
           } else {
             fieldName = '';
           }
-          row = `<div>${'  '.repeat(indentLevel)}${fieldName}<a class='plain' href="#" data-id=${id} data-range="${start.row},${start.column},${end.row},${end.column}">${displayName}</a> [${start.row}, ${start.column}] - [${end.row}, ${end.column}])`;
+          row = `<div>${'  '.repeat(indentLevel)}${fieldName}<a class='plain' href="#" data-id=${id} data-range="${start.row},${start.column},${end.row},${end.column}">${displayName}</a> [${start.row}, ${start.column}] - [${end.row}, ${end.column}]`;
           finishedRow = true;
         }