-/*! Request that any queued EnterNotify events not be used for distributing
- focus */
-void event_ignore_queued_enters();
+/*! Make mouse focus not move at all from the stuff that has happened up
+ till now. */
+void event_ignore_all_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);