diff options
author | Steffen Winterfeldt <wfeldt@opensuse.org> | 2009-07-06 11:52:27 +0200 |
---|---|---|
committer | Steffen Winterfeldt <wfeldt@opensuse.org> | 2009-07-06 11:52:27 +0200 |
commit | ec8497fe286dcaf579836e1ce7808dace8d2ce34 (patch) | |
tree | 9428c94aef306d3fef9ba2d65be81c8078a7a44e /themes/openSUSE | |
parent | 90e356f5d7df821c8d87e72ea37229c7a0b0488d (diff) |
- allow empty menus
Diffstat (limited to 'themes/openSUSE')
-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 { |