MENU_SELECTED_COLOR  273 lib/skin/colors.c     MENU_SELECTED_COLOR = mc_skin_color_get ("menu", "menusel");
MENU_SELECTED_COLOR  162 lib/widget/menu.c             tty_setcolor (color == MENU_SELECTED_COLOR ? MENU_HOTSEL_COLOR : MENU_HOT_COLOR);
MENU_SELECTED_COLOR  203 lib/widget/menu.c         menubar_paint_idx (menubar, i, i == menu->current ? MENU_SELECTED_COLOR : MENU_ENTRY_COLOR);
MENU_SELECTED_COLOR  214 lib/widget/menu.c         tty_setcolor (hotkey ? MENU_HOTSEL_COLOR : MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  388 lib/widget/menu.c     menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  412 lib/widget/menu.c     menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  443 lib/widget/menu.c         menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  477 lib/widget/menu.c         menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  771 lib/widget/menu.c         menubar_paint_idx (menubar, menu->current, MENU_SELECTED_COLOR);