-
Florian Müllner authored
gnome-shell now provides its own traditional window switcher using a dedicated keybinding, so update the extension to just take over the default application-based switchers as well. https://bugzilla.gnome.org/show_bug.cgi?id=689724
61f86a3f