MENU_HOTSEL_COLOR  270 lib/skin/colors.c     MENU_HOTSEL_COLOR = mc_skin_color_get ("menu", "menuhotsel");
MENU_HOTSEL_COLOR  160 lib/widget/menu.c             tty_setcolor (color == MENU_SELECTED_COLOR ? MENU_HOTSEL_COLOR : MENU_HOT_COLOR);
MENU_HOTSEL_COLOR  212 lib/widget/menu.c         tty_setcolor (hotkey ? MENU_HOTSEL_COLOR : MENU_SELECTED_COLOR);