fix tree footer

This commit is contained in:
Til Schmitter 2026-04-12 23:59:20 +02:00
parent 6e9841fc34
commit f8d0d668f8
2 changed files with 4 additions and 1 deletions

View file

@ -4432,6 +4432,7 @@ html.e #detree {
margin-bottom: .5em;
}
#tree_footer {
width: 0;
position: fixed;
bottom: 1em;
left: 1em;

View file

@ -7242,7 +7242,8 @@ var treectl = (function () {
r.hide = function () {
r.hidden = true;
ebi('tree').style.width = '0';
ebi('tree').style.width = ebi('tree_footer').style.width = '0';
ebi('tree_footer').style.display = 'none';
ebi('widget').style.marginLeft = '0';
ebi('wrap').style.marginLeft = '';
window.removeEventListener('resize', onresize);
@ -7383,6 +7384,7 @@ var treectl = (function () {
setcvar('--nav-sz', w);
ebi('tree').style.width = w;
ebi('tree_footer').style.width = (iw - 2) + 'em';
ebi('tree_footer').style.display = 'block';
ebi('wrap').style.marginLeft = w2;
ebi('widget').style.marginLeft = (iw /1.4) + 'em';
onwidgetresize();