minimize menus

This commit is contained in:
AntonObersteiner 2024-06-03 12:45:31 +02:00
parent d85ea68747
commit a1944c17ad

View file

@ -17882,6 +17882,7 @@ var regexr = (function () {
this.el = el; this.el = el;
this._initUI(); this._initUI();
this.value = null; this.value = null;
DOMUtils.togglePanel(this.el, 'article');
} }
set value(o) { set value(o) {
if (!o) { if (!o) {
@ -18879,9 +18880,7 @@ var regexr = (function () {
id = "home"; id = "home";
} }
this.goto(id); this.goto(id);
if (app.isNarrow) { this.minimize(true, false);
setTimeout(() => this.minimize(true, false), 1500);
}
} }
minimize(val = true, track = true) { minimize(val = true, track = true) {
if (val === this._minimized) { if (val === this._minimized) {