GNOME Bugzilla – Bug 734641
gdk_window_set_device_events() does not change the event mask for the window
Last modified: 2014-08-14 04:11:27 UTC
In gdk_x11_device_core_select_window_events(), a filter mask is created by the bitwise AND of all the device events. This creates a value of 0. It should be the bitwise OR of all the device event masks. This appears to be wrong in all GTK+-3 versions.