linuxmint/MGSE — pull request #31 by vedvyas (2011-12-19 20:00:27+00:00)
Title: Bottom panel autohide

Added double-click to enable autohide on the bottom panel, just like the autohidetopbar extension.