MENU_HOT_COLOR    268 lib/skin/colors.c     MENU_HOT_COLOR = mc_skin_color_get ("menu", "menuhot");
MENU_HOT_COLOR    157 lib/widget/menu.c             tty_setcolor (color == MENU_SELECTED_COLOR ? MENU_HOTSEL_COLOR : MENU_HOT_COLOR);
MENU_HOT_COLOR    212 lib/widget/menu.c         tty_setcolor (hotkey ? MENU_HOT_COLOR : MENU_ENTRY_COLOR);