- XWindowEvent(obt_display, screen_support_win, PropertyChangeMask, &event);
- return event.xproperty.time;
+
+ /* Grab the first timestamp available */
+ XPeekIfEvent(obt_display, &event, find_timestamp, NULL);
+
+ /* Save the time so we don't have to do this again for this event */
+ return event_curtime = event.xproperty.time;
+}
+
+Time event_source_time(void)
+{
+ return event_sourcetime;