linuxmint/Cinnamon — pull request #745 by Cobinja (2012-06-11 13:38:09+00:00)
Title: Make panels resizable in height

This commit makes panels resizable by the user. There are 3 priorities; least: hardcoded 25px, medium: theme css, highest: user preference