BUTTONBAR_HOTKEY_COLOR  277 lib/skin/colors.c     BUTTONBAR_HOTKEY_COLOR = mc_skin_color_get ("buttonbar", "hotkey");
BUTTONBAR_HOTKEY_COLOR  196 lib/widget/buttonbar.c                 tty_setcolor (BUTTONBAR_HOTKEY_COLOR);