439daf828f
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. https://bugzilla.gnome.org/show_bug.cgi?id=597559