linuxmint/Cinnamon — pull request #413 by M4he (2012-02-23 12:56:49+00:00)
Title: workspace switcher styling and scroll function

According to #408 and #377 this introduces a new style class for the workspace switcher and adds the ability to switch the workspace by scrolling above the applet.
This also removes the irritating highlight if using a theme that includes highlighting of applets.