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/dia_kernelopts.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/dia_kernelopts.inc')
| -rw-r--r-- | src/dia_kernelopts.inc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/dia_kernelopts.inc b/src/dia_kernelopts.inc index 942efb6..34b0d70 100644 --- a/src/dia_kernelopts.inc +++ b/src/dia_kernelopts.inc @@ -48,7 +48,7 @@ /kernelopts.update { /xmenu xmenu.kernelopts def - /window.action actRedrawPanel def + /window.action actRedrawBootOptionsPanel def } def @@ -60,6 +60,10 @@ /panel.kernelopts { "main" help.setcontext + boot.show not { + /boot.show true def + } if + window.xmenu dup .xmenu xmenu.kernelopts put dup .xmenu.update /kernelopts.update put |