()
| 1 | function _(e) { return document.getElementById(e); } |
| 2 | function toggleMenu(){_('menu').classList.toggle('open')} |
| 3 | function toggleRow(b){const r=b.closest('tr').nextElementSibling;r.style.display=r.style.display==='none'?'table-row':'none'} |
| 4 | const editableExts = new Set(['txt','ini','conf','c','cpp','h','hpp','js','css','htm','html','ts']); |
| 5 | function isEditable(name) { return editableExts.has(name.split('.').pop().toLowerCase()); } |