linuxmint/Cinnamon — pull request #1093 by mtwebster (2012-09-07 21:46:12+00:00)
Title: Fix potential use before assignment of _themeFontSize, and

make sure to obey both panel height and resizing settings
before messing with heights (in the case of panel-height
turned off while auto-adjust was still activated).