linuxmint/Cinnamon — pull request #2241 by mtwebster (2013-07-08 11:18:02+00:00)
Title: Disable panel autohide during panel-edit-mode

Closes #2232