actually the extensions system in gnome is kind of magical. You go to extensions.gnome.org using Firefox and click a button and suddenly your alt-tab behavior h

actually the extensions system in gnome is kind of magical. You go to extensions.gnome.org using Firefox and click a button and suddenly your alt-tab behavior has changed. It is awesome - I think the phrase "extensions" has come to connote "complications" ... but is not the case in Gnome. I'm actually impressed at how they built a javascript API to be able to mess with core UX !