Hacker News new | ask | show | jobs
by hahainternet 4724 days ago
For what it's worth. Gnome is designed to make this choice easy for you. https://extensions.gnome.org/ hosts a large number of javascript extensions which change the functionality of the desktop.

Fixing alt-tab is one of the first things I do.
1 comments
e12e 4723 days ago
Oh, thanks for that! I don't use unity -- I'm too prone to RSI to really use anything with a mouse -- and I'm too stingy on my screen estate (I run xmonad). But either way it's nice to be aware that there are extentions... the result page(s!) for alt tab was both encouraging and a little scary...
link
hahainternet 4723 days ago
This is the one I prefer: https://extensions.gnome.org/extension/15/alternatetab/

It correctly switches and changes order based on your alt+tab history, and it splits alternate workspaces up into an end section which switches workspace for you, so 'shift + alt + tab' becomes 'go to the last app on another workspace i used'. Very nice.

link