mirror of
https://github.com/brl/mutter.git
synced 2025-02-05 16:14:10 +00:00
10df80762c
We'll use this in gnome-shell to freeze the keyboard right before switching input source and unfreeze it after that's finished so that we don't lose any key events to the wrong input source. https://bugzilla.gnome.org/show_bug.cgi?id=697001