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){    /* struct gui_data *inst = (struct gui_data *)frontend; */    if (button == MBT_LEFT)	return MBT_SELECT;    if (button == MBT_MIDDLE)	return MBT_PASTE;    if (button == MBT_RIGHT)	return MBT_EXTEND;    return 0;			       /* shouldn't happen */}