Hide menu items that use CONFIG (e.g. the help menu item).

16 years ago · b509ff6c0f
parent 5d758c4264
commit b509ff6c0f
2 changed files with 5 additions and 0 deletions
--- a/debian/changelog
+++ b/debian/changelog
@ -1,6 +1,7 @@
 gfxboot-theme-ubuntu (0.6.2) UNRELEASED; urgency=low

  * Hide menu items that use MENU GOTO or MENU EXIT.
+  * Hide menu items that use CONFIG (e.g. the help menu item).

 -- Colin Watson <cjwatson@ubuntu.com>  Thu, 19 Jun 2008 12:17:29 +0100

--- a/menuconfig.inc
+++ b/menuconfig.inc
@ -140,6 +140,10 @@
      dup "exit" eq { menuconfig.hidelabel } if
      free rot pop exch
    } if
+    dup "config" eq {
+      % used for help menu item, not useful in gfxboot
+      menuconfig.hidelabel
+    } if
    free

    % skip to end of line