diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2009-01-27 17:30:38 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2009-01-27 17:30:38 +0000 |
| commit | 8b40fda0dc40ead9ddc4a9866f90ae6c379f012b (patch) | |
| tree | fd9ad997c4a293ba571cbe466212512d7d08bf1b /src/common.inc | |
| parent | 249c59a30616febf832864adde00562ab61358bf (diff) | |
| download | bootloader-theme-8b40fda0dc40ead9ddc4a9866f90ae6c379f012b.tar bootloader-theme-8b40fda0dc40ead9ddc4a9866f90ae6c379f012b.tar.gz bootloader-theme-8b40fda0dc40ead9ddc4a9866f90ae6c379f012b.tar.bz2 bootloader-theme-8b40fda0dc40ead9ddc4a9866f90ae6c379f012b.tar.xz bootloader-theme-8b40fda0dc40ead9ddc4a9866f90ae6c379f012b.zip | |
only show the "Boot Options" entry when Fkey for "Kernel Option" is pressed
the difficulty here is to workaround the "Boot Options" from dirtying the
display of the panel below it. A solution would be to move the "Boot Options"
upper to leave some room between it and the panel.
also adding the "Kernel Option" choice for grub, since otherwise you can't
edit "Boot 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 |