https://bugzilla.gnome.org/show_bug.cgi?id=653947 It could happen that a cookie event has been already allocated/freed in an event filter, as it can't be allocated a second time, all GDK can do is skipping the event. Spotted by Guillaume Desmottes.