Re: I have realised the problem here
Florian Müllner <[email protected]>
| Newsgroups | gmane.comp.gnome.desktop,gmane.linux.ubuntu.devel.gnome,gmane.comp.gnome.foundation.general,gmane.comp.gnome.bugsquad,gmane.comp.gnome.love |
|---|---|
| Message-ID | <CAGcPHUOmNhUWDVp9Kyd5kKFcdm_mhUKrhhV9ZgZa_3zOG4+=9w@mail.gmail.com> |
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. _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list