This post was made with another stylesheet and it might be messed up!
Are you tired of the way the workspace switching works on Gnome Shell 3.4? Would you prefer a more accessible, faster and easier way to do it, while still using your mouse only? If yes, then this new “workspaces to dock” extension will put a smile in your face!
The aim of the extension is to transform the workspaces into an intellihide dock that will appear when you hover your mouse over the right side of your screen and then autohide.
If you don’t like the amount of time it takes for the workspaces to disappear again, the opacity or the animation time, you can set your preferences easily by typing this on a terminal:
gnome-shell-extension-prefs
To add this extension to your system simply turn the switch to “ON”


