2 ms·
The great thing about gnome-shell is you can have it however you want: https://extensions.gnome.org/extension/15/alternatetab/ https://extensions.gnome.org/ext
by xiaomai 12y ago
The great thing about gnome-shell is you can have it however you want:
https://extensions.gnome.org/extension/15/alternatetab/ https://extensions.gnome.org/extension/15/alternatetab/