<html><head></head><body><div>On Tue, 2015-05-12 at 13:27 +0000, Florian Müllner wrote:</div><blockquote type="cite"><div dir="ltr"><div class="gmail_quote">On Tue, May 12, 2015 at 2:59 PM Stephen Gallagher <<a href="mailto:sgallagh@redhat.com">sgallagh@redhat.com</a>> wrote:<br><blockquote type="cite">I think you'll find that
it's very likely that more users have installed the<br>
Alternate Tab extension than are using the default behavior<br></blockquote><div><br></div><div>It'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.<br><br></div><div>You can reconfigure the <alt>tab/<super>tab keybindings using<br></div></div><div class="gmail_quote"><div> gsettings set org.gnome.desktop.wm.keybindings switch-applications '[]'<br></div><div> gsettings set org.gnome.desktop.wm.keybindings switch-windows '["<Alt>Tab","<Super>Tab"]'</div>(or by clicking around in the appropriate section in gnome-control-center ...)</div></div></blockquote><div><br></div><div><br></div><div>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 :)</div><div><br></div></body></html>