diff options
Diffstat (limited to 'src/common.inc')
| -rw-r--r-- | src/common.inc | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/common.inc b/src/common.inc index adb0052..a8251be 100644 --- a/src/common.inc +++ b/src/common.inc @@ -264,6 +264,12 @@ main.redraw } if + window.action actRedrawBootOptionsPanel eq { + /window.action actNothing def + menu.entry true MenuSelect + panel.show + } if + window.action actRedrawPanel eq { /window.action actNothing def panel.show @@ -1008,7 +1014,7 @@ /menu.bar.width menu.bar.min.width def % false: no boot options line initially - /boot.show true def + /boot.show false def } def |