On Tue, 2015-05-12 at 13:27 +0000, Florian Müllner wrote:
On Tue, May 12, 2015 at 2:59 PM Stephen Gallagher <sgallagh@xxxxxxxxxx> wrote:I think you'll find that it's very likely that more users have installed the
Alternate Tab extension than are using the default behaviorIt's worth noting that this particular extension does very little - it simply changes the default behavior of some shortcuts. So if you are implying here that something like the window switcher (in contrast to the default app switcher) should be built-in and not require any extensions - that's already the case.You can reconfigure the <alt>tab/<super>tab keybindings usinggsettings set org.gnome.desktop.wm.keybindings switch-applications '[]'gsettings set org.gnome.desktop.wm.keybindings switch-windows '["<Alt>Tab","<Super>Tab"]'(or by clicking around in the appropriate section in gnome-control-center ...)
That may be true, but how discoverable is a gsettings command? I'd argue that it would be easier to discover life on Jupiter's moons :)
Attachment:
signature.asc
Description: This is a digitally signed message part
-- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
