diff options
Diffstat (limited to 'panel.js')
-rw-r--r-- | panel.js | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -51,13 +51,10 @@ function unsetevents() p.onmouseenter=undefined; p.onmouseleave=undefined; p.style.left=null; - if (!p.classList.contains("collapsed")) - document.getElementById("paneltoggle").innerHTML="«"; } function togglepanel() { let c = document.getElementById("panel").classList.toggle("collapsed"); if (c) document.getElementById("content").classList.add("expanded"); else document.getElementById("content").classList.remove("expanded"); - document.getElementById("paneltoggle").innerHTML=c?"»":"«"; } |