MENU_INACTIVE_COLOR   91 lib/skin/colors.c     { MENU_INACTIVE_COLOR, "menu", "menuinactive" },
MENU_INACTIVE_COLOR  212 lib/widget/menu.c         tty_setcolor (MENU_INACTIVE_COLOR);
MENU_INACTIVE_COLOR  229 lib/widget/menu.c                                                                    : MENU_INACTIVE_COLOR);