Here’s a Gnome Shell extension allows you to switch between Gnome Shell Desktops by simply touching the mouse cursor to the desktop edges and scroll up and down. Continue reading →