which can happen if the clock goes backwards, we erase the last
specified user_time */
if (t && event_last_user_time && event_time_after(event_last_user_time, t))
- event_last_user_time = CurrentTime;
+ event_reset_user_time();
event_sourcetime = CurrentTime;
event_curtime = t;
gboolean find_timestamp(XEvent *e, gpointer data)
{
const Time t = event_get_timestamp(e);
- if (t >= event_curtime) {
+ if (t && t >= event_curtime) {
event_curtime = t;
return TRUE;
}
{
event_last_user_time = event_time();
}
+
+void event_reset_user_time(void)
+{
+ event_last_user_time = CurrentTime;
+}