GNOME Bugzilla – Bug 597559
[AppSwitcher] add a workaround for a gjs problem with GdkModifierType
Last modified: 2009-10-06 20:09:15 UTC
gdk_display_get_pointer() sometimes returns values for the mask that aren't part of the GdkModifierType enumeration, which gjs doesn't like (bug 597292). Work around that by adding a C wrapper that strips out the extra flags.
Created attachment 144893 [details] [review] [AppSwitcher] add a workaround for a gjs problem with GdkModifierType
Comment on attachment 144893 [details] [review] [AppSwitcher] add a workaround for a gjs problem with GdkModifierType This resolution has passed.
Attachment 144893 [details] pushed as 439daf8 - [AppSwitcher] add a workaround for a gjs problem with GdkModifierType