PMENU_SELECTED_COLOR   95 lib/skin/colors.c     { PMENU_SELECTED_COLOR, "popupmenu", "menusel" },
PMENU_SELECTED_COLOR   54 lib/widget/listbox-window.c     [DLG_COLOR_FOCUS] = PMENU_SELECTED_COLOR,
PMENU_SELECTED_COLOR   56 lib/widget/listbox-window.c     [DLG_COLOR_HOT_FOCUS] = PMENU_SELECTED_COLOR,
PMENU_SELECTED_COLOR   57 lib/widget/listbox-window.c     [DLG_COLOR_SELECTED_NORMAL] = PMENU_SELECTED_COLOR,  // unused
PMENU_SELECTED_COLOR   58 lib/widget/listbox-window.c     [DLG_COLOR_SELECTED_FOCUS] = PMENU_SELECTED_COLOR,   // unused