let checkbox = li.appendChild(document.createElement("input"));
checkbox.type = "checkbox";
checkbox.style.position = "absolute";
checkbox.style.right = "5px";
checkbox.addEventListener("input", _ => { gui.getDisplay().dispatchEvent(new Event("update")) });
let checkbox = li.appendChild(document.createElement("input"));
checkbox.type = "checkbox";
checkbox.style.position = "absolute";
checkbox.style.right = "5px";
checkbox.addEventListener("input", _ => { gui.getDisplay().dispatchEvent(new Event("update")) });