return OS.gtk_get_current_event_time ();
int time = OS.gtk_get_current_event_time (); return time != 0 ? time : lastEventTime;
int getLastEventTime () {//	checkDevice ();	return OS.gtk_get_current_event_time ();}