Desktop Scroller 2.02
This extension enables you to quickly switch between workspaces (aka Desktops). Simply place your mouse at the left or right side of your screen then scroll your mouse wheel. This makes it much easier to jump from workspace to workspace.
-adds fixed padding around activation areas so as to not conflict with the hotcorners feature of cinnamon.
Thank you to
zed ecks "meaninglessidentifier" and Thx3r for their contributions.
View the Readme for more information.