fixed clearing bug

This commit is contained in:
2026-07-19 00:52:48 +02:00
parent 1f9e0e2b04
commit a7b92c2072
+2 -2
View File
@@ -76,8 +76,8 @@ function prettyTreeString(tree, indent=0) {
function clearTrees() { function clearTrees() {
let children = trees.children while (trees.firstChild)
for (let c of children) { c.remove() } { trees.firstChild.remove() }
} }