linuxmint/Cinnamon — Issue #34: Autohide panel
Author: clefebvre
Created: 2011-12-24 01:12:07+00:00
State: open

OFF by default, this option should be implemented and set via gsettings (for now, until we decide how to visually present advanced features for Cinnamon).