MENU_SELECTED_COLOR  268 lib/skin/colors.c     MENU_SELECTED_COLOR = mc_skin_color_get ("menu", "menusel");
MENU_SELECTED_COLOR  160 lib/widget/menu.c             tty_setcolor (color == MENU_SELECTED_COLOR ? MENU_HOTSEL_COLOR : MENU_HOT_COLOR);
MENU_SELECTED_COLOR  201 lib/widget/menu.c         menubar_paint_idx (menubar, i, i == menu->current ? MENU_SELECTED_COLOR : MENU_ENTRY_COLOR);
MENU_SELECTED_COLOR  212 lib/widget/menu.c         tty_setcolor (hotkey ? MENU_HOTSEL_COLOR : MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  386 lib/widget/menu.c     menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  410 lib/widget/menu.c     menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  441 lib/widget/menu.c         menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  475 lib/widget/menu.c         menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  769 lib/widget/menu.c         menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);