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.
Added configuration options to the metadata.json file to:
- Enable/Disable the icons that appear when switching the Desktops
- Change the size of the "activation areas" as well as make them visible, for ease of use when resizing them.
- Use custom icons for the switching animations. And bundle a couple of decent looking icons for the default.
View the Readme for more information.
*Fixes the version number to enable this on cinnamon 1.6.4