mirror of
https://github.com/brl/mutter.git
synced 2025-02-04 07:34:09 +00:00
e7d336ab0e
If we handle a key event then passing it to GTK+ as well can only cause confusion. Normally GTK+ would do nothing with a key event for some window it doesn't know about, but plugins might be doing more things with the GTK+ event queue. https://bugzilla.gnome.org/show_bug.cgi?id=642426