void toggle_mouse_status () { #ifdef TIARY_USE_MOUSE set_mouse_status (!get_mouse_status ()); #endif }
void wait_for_mouse_release(Uint32 mouse_button) { while(get_mouse_status()) update_event_status_delay(); }