Cinnamon is a Gnome Shell alternative, which has been created to deliver a Gnome 2 like convenient design for Ubuntu users. It provides a Gnome 2 like launcher based bottom panel and is perhaps the one of the best Gnome 2 forks available for Ubuntu. In a previous post I showed you a complete walkthrough of Cinnamon Shell. In this post I will explain the process of auto-hiding the Cinnamon panel and configuring other advanced options. This is because despite being a great Gnome Shell alternative, Cinnamon still lacks some easy configuration features.
To be able to edit Cinnamon settings, you will require installing the dconf-tools. This tool can be installed in Ubuntu via the following Terminal command.
sudo apt-get install dconf-tools
Step 1: After installation, simply launch dconf tools from the following path: Applications –> Others ->Dconf Tool.
Step 2: Now, go to Org –> Cinnamon (as shown in the image below) and enable or disable your desired Cinnamon features.
From the configuration editor, you can enable or disable the Cinnamon Panel auto hide feature, application monitoring, The Panel launchers, Development-tools and other features. In case you mess up your Cinnamon settings, the changes can be easily reverted by clicking on Set to default.
Furthermore, you can expand the Cinnamon settings to enable or disable other Cinnamon options, such as the date and clock view. To acquire help regarding what an option does, (in the configuration editor), click the option (make sure that you click the option and not the check box). As you can see in the below screenshot, the information about the configuration option is being displayed .
You can download and install the Cinnamon Shell from the link given below. Cinnamon works on a number of Linux based operating systems, including the ones listed below: