Mutter doesn't always catch ctrl-tab.
Hello all!
It seems that in a recent version of mutter, the ctrl-tab keyboard shortcut is not always caught 'fast enough'. (Say: 3.36.1, on Ubuntu 20.04).
I have ctrl-tab set to switching applications. Chrome browser uses this for switching tabs. However, until recently, this never interfered: Gnome caught the ctrl-tab, and Chrome never did anything.
EDIT. This doesn't just affect Chrome - with Chrome it has been most obvious as the ctrl-tab is a key shortcut. However, I've now seen this affect other applications as well (e.g., Skype). So it must be to do with Mutter.
However, recently (3.36.4 or 3.36.3?) Chrome/Skype/other applications now occasionally catches the first ctrl-tab.
I get this behaviour: I'm in Chrome/Skype ('for a while'), I press ctrl-tab, and the Chrome tab changes to next tab (i.e., Chrome/Skype handles keyboard shortcut). I press ctrl-tab again, and the application changes as expected (i.e., mutter handles keyboard shortcut). I can repeat ctrl-tab as many times as I like, and mutter keeps handling this.
However, once I've been in Chrome/Skype 'for a while', I get the same behaviour where the tab changes.
I haven't tried to downgrade yet (and I'm not entirely sure how to do that...). Assuming 3.36.1 was used for the Ubuntu 20.04 release, it was ok then. I broke say in the last 4 weeks (3.36.4? or 3.36.3?).
Any ideas?