static void event_set_curtime(XEvent *e) { Time t = event_get_timestamp(e); if(t && event_last_user_time && event_time_after(event_last_user_time, t)) event_reset_user_time(); event_sourcetime = CurrentTime; event_curtime = t; }
static Time ungrab_time(void) { Time t = event_curtime; if (grab_time == CurrentTime || !(t == CurrentTime || event_time_after(t, grab_time))) /* When the time moves backward on the server, then we can't use the grab time because that will be in the future. So instead we have to use CurrentTime. "XUngrabPointer does not release the pointer if the specified time is earlier than the last-pointer-grab time or is later than the current X server time." */ t = CurrentTime; /*grab_time;*/ return t; }