On Tue, May 2, 2017 at 11:28 PM Diego Fernandez <[email protected]> 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.
_______________________________________________ gnome-bugsquad mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-bugsquad
