diff options
Diffstat (limited to 'themes/openSUSE/src/common.inc')
-rw-r--r-- | themes/openSUSE/src/common.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/themes/openSUSE/src/common.inc b/themes/openSUSE/src/common.inc index 79b1f6e..4dae74f 100644 --- a/themes/openSUSE/src/common.inc +++ b/themes/openSUSE/src/common.inc @@ -130,6 +130,8 @@ /KeyEvent { % timeout + menu.texts 0 eq { pop "" -1 1 return } if + dup 0 eq { boot.ed.list buildcmdline 2 return } if debug 4 ge { @@ -591,6 +593,8 @@ /menu.args exch def /menu.texts exch def + menu.texts length 0 eq { return } if + /mi_name "mediacheck" "" gfxconfig.set.str mi_name { |