+ return t;
+}
+
+static void event_set_curtime(XEvent *e)
+{
+ Time t = event_time(e);
+
+ if (t == CurrentTime) {
+ /* Some events don't come with timestamps :(
+ ...but we want the time anyways. */
+ if (e->type == MapRequest)
+ t = event_get_server_time();
+ }
+