From c1ed25fe3502ca2665211e66df97fa1f6b87c6b2 Mon Sep 17 00:00:00 2001 From: Chris Xiong Date: Fri, 9 Aug 2024 21:01:13 -0400 Subject: Add a panel toggle button to some pages. --- panel.js | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) (limited to 'panel.js') diff --git a/panel.js b/panel.js index f100020..13444af 100644 --- a/panel.js +++ b/panel.js @@ -38,14 +38,26 @@ function setupevents() { if(!fold) {document.getElementById("panel").style.left="-15em";fold=true;} - } + } + document.getElementById("panel").classList.remove("collapsed"); + document.getElementById("content").classList.remove("expanded"); } function unsetevents() { window.ontouchstart=undefined; window.ontouchmove=undefined; window.ontouchend=undefined; - document.getElementById("panel").onmouseenter=undefined; - document.getElementById("panel").onmouseleave=undefined; - document.getElementById("panel").style.left=null; + const p=document.getElementById("panel"); + 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?"»":"«"; } -- cgit v1.2.3