> How can I change the workspace by a mouse scroll on the desktop in Gnome? Move the mouse so it is hovering over the desktop pager (bottom left by default), then just scroll....