On Tue, May 2, 2017 at 11:28 PM Diego Fernandez <aiguo.fernan...@gmail.com> wrote:
> However, there's a simple solution: > https://extensions.gnome.org/extension/15/alternatetab/ > Or simpler: $ gsettings set org.gnome.desktop.wm.keybindings switch-applications "[]" $ gsettings set org.gnome.desktop.wm.keybindings switch-windows "['<Alt>Tab']" The extension really just exists to have a different Alt+Tab default in GNOME Classic, all the actual functionality is implemented in gnome-shell itself.
_______________________________________________ foundation-list mailing list foundation-list@gnome.org https://mail.gnome.org/mailman/listinfo/foundation-list
