2 ms·
For what it's worth. Gnome is designed to make this choice easy for you. https://extensions.gnome.org/ https://extensions.gnome.org/ hosts a large number of jav
by hahainternet 13y ago
For what it's worth. Gnome is designed to make this choice easy for you. https://extensions.gnome.org/ 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.
- e12e 13y agoOh, 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...
- hahainternet 13y agoThis is the one I prefer: https://extensions.gnome.org/extension/15/alternatetab/ 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.