+void event_ignore_queued_enters();
+
+/* Halts any focus delay in progress, use this when the user is selecting a
+ window for focus */
+void event_halt_focus_delay();
+
+/*! Compare t1 and t2, taking into account wraparound. True if t1
+ comes at the same time or later than t2. */
+gboolean event_time_after(Time t1, Time t2);