MENU_FRAME_COLOR   92 lib/skin/colors.c     { MENU_FRAME_COLOR, "menu", "menuframe" },
MENU_FRAME_COLOR  140 lib/widget/menu.c         tty_setcolor (MENU_FRAME_COLOR);
MENU_FRAME_COLOR  199 lib/widget/menu.c     tty_setcolor (MENU_FRAME_COLOR);