(indent)
| 479 | } |
| 480 | |
| 481 | function createIndentNode(indent) { |
| 482 | let div = document.createElement("div"); |
| 483 | div.style.display = "inline-block"; |
| 484 | div.style.width = (indent + 0.5) + "em"; |
| 485 | return div; |
| 486 | } |
| 487 | |
| 488 | function createArrowNode() { |
| 489 | let span = document.createElement("span"); |
no test coverage detected