[[ LinuxGDK ]] Tweak event handling so that GTK doesn't steal events