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;
}
