linuxmint/Cinnamon — pull request #1798 by hernejj (2013-03-14 22:42:06+00:00)
Title: Bug Fix: Set proper switcher height on resize

Allow Workspace switcher to properly resize when the height of the panel is changed. Without this fix, the workspace switcher does not properly resize.