MENU_SELECTED_COLOR  267 lib/skin/colors.c     MENU_SELECTED_COLOR = mc_skin_color_get ("menu", "menusel");
MENU_SELECTED_COLOR  157 lib/widget/menu.c             tty_setcolor (color == MENU_SELECTED_COLOR ? MENU_HOTSEL_COLOR : MENU_HOT_COLOR);
MENU_SELECTED_COLOR  199 lib/widget/menu.c                            i == menu->selected ? MENU_SELECTED_COLOR : MENU_ENTRY_COLOR);
MENU_SELECTED_COLOR  210 lib/widget/menu.c         tty_setcolor (hotkey ? MENU_HOTSEL_COLOR : MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  377 lib/widget/menu.c     menubar_paint_idx (menubar, menu->selected, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  401 lib/widget/menu.c     menubar_paint_idx (menubar, menu->selected, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  432 lib/widget/menu.c         menubar_paint_idx (menubar, menu->selected, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  466 lib/widget/menu.c         menubar_paint_idx (menubar, menu->selected, MENU_SELECTED_COLOR);
MENU_SELECTED_COLOR  753 lib/widget/menu.c         menubar_paint_idx (menubar, menu->selected, MENU_SELECTED_COLOR);