4 ms·
I actually filed a bug a while back about the annoying Alt-` behavior: https://bugzilla.gnome.org/show_bug.cgi?id=661119 https://bugzilla.gnome.org/show_bug.cgi
by ARussell 14y ago
I actually filed a bug a while back about the annoying Alt-` behavior: https://bugzilla.gnome.org/show_bug.cgi?id=661119 https://bugzilla.gnome.org/show_bug.cgi?id=661119 . The AlternateTab extension (https://extensions.gnome.org/extension/15/alternatetab/ https://extensions.gnome.org/extension/15/alternatetab/) has matured a lot since it was first released, and it now fulfills my needs, so perhaps you should take a look at it, too.