/* Halts any focus delay in progress, use this when the user is selecting a
window for focus */
void event_halt_focus_delay();
/* Halts any focus delay in progress, use this when the user is selecting a
window for focus */
void event_halt_focus_delay();