User:Bobborpap/vector.js

const toc = document.getElementById('toctogglecheckbox') console.log('::: toc', toc) toc.checked = true console.log('::: toc', toc.checked)