BUTTONBAR_HOTKEY_COLOR   99 lib/skin/colors.c     { BUTTONBAR_HOTKEY_COLOR, "buttonbar", "hotkey" },
BUTTONBAR_HOTKEY_COLOR  183 lib/widget/buttonbar.c             tty_setcolor (BUTTONBAR_HOTKEY_COLOR);
BUTTONBAR_HOTKEY_COLOR  196 lib/widget/buttonbar.c                 tty_setcolor (BUTTONBAR_HOTKEY_COLOR);