GNOME Bugzilla – Bug 697000
prefs: Fix binding remaining grabbed after clearing all strokes
Last modified: 2013-05-13 22:30:51 UTC
Noticed while while working in the vicinity.
Created attachment 240259 [details] [review] prefs: Fix binding remaining grabbed after clearing all strokes If a binding is updated with a clear set of strokes (effectively disabling it) we aren't signaling that the binding changed and thus the previous strokes will continue to be grabbed. This fixes that and tries to do a better effort at checking if the binding changed or not.
Review of attachment 240259 [details] [review]: Perhaps Florian considers this too big a cleanup for 3.8.1, but I'd like to see us changing key grabs directly when a keybinding changes rather than ungrabbing and regrabbing all key bindings across all windows globally.
Review of attachment 240259 [details] [review]: OK.
Attachment 240259 [details] pushed as 1627044 - prefs: Fix binding remaining grabbed after clearing all strokes