The great thing about gnome-shell is you can have it however you want:

https://extensions.gnome.org/extension/15/alternatetab/