@Davidy22   I would suggest that you use the official mask 
https://developer.gnome.org/gdk3/unstable/gdk3-Windows.html#GdkModifierType to 
remove all but the wanted modifiers, any of them can change at any time in any 
version of GTK, or with any new keyboard with extra keys, so the current 
implementation is very fragile.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/pull/1093#issuecomment-883954643

Reply via email to