mirror of
https://github.com/brl/mutter.git
synced 2025-02-10 10:24:09 +00:00
e284370013
If we get a key event but still have pending modifier state changes we need to send a modifiers event right away so that the key event can be interpreted by clients correctly modified. This case could happen when mutter/gnome-shell itself consumes the modifier key press event such as with the overview key which by default is triggered on super press. https://bugzilla.gnome.org/show_bug.cgi?id=748526