static Mouse_Button translate_button(void *frontend, Mouse_Button button)
static Mouse_Button translate_button(Mouse_Button button)
static Mouse_Button translate_button(void *frontend, Mouse_Button button){    if (button == MBT_LEFT)	return MBT_SELECT;    if (button == MBT_MIDDLE)	return cfg.mouse_is_xterm ? MBT_PASTE : MBT_EXTEND;    if (button == MBT_RIGHT)	return cfg.mouse_is_xterm ? MBT_EXTEND : MBT_PASTE;    return 0;			       /* shouldn't happen */}