diff options
| -rw-r--r-- | src/panel.inc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/panel.inc b/src/panel.inc index 1d3e89a..7511ca1 100644 --- a/src/panel.inc +++ b/src/panel.inc @@ -45,6 +45,7 @@ [ keyF2 0 "F2" /panel.lang /panel.lang.width /panel.lang.update /lang.init ] [ keyF3 0 "F3" /panel.video /panel.video.width /panel.video.update /video.init ] + [ keyF4 0 "F4" /panel.kernelopts /panel.kernelopts.width /panel.kernelopts.update /kernelopts.init ] } { @@ -178,9 +179,6 @@ % only for install CDs syslinux not { return } if - % not for live cd - config.livecd { return } if - % not for F1 dup keyF1 eq { return } if |