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