Caso você, como eu, tenha desarrumado muito o painel do Cinnamon, recupere suas configurações orginais com o seguinte comando:
A equipe do Cinnamon já desenvolveu uma ferramenta gráfica para fazer as alterações básicas na nova interface. Atualmente é possível, por exemplo, personalizar o painel, a área de trabalho, efeitos das janelas e incluir ou retirar algumas extensões. No entanto, o Gsettings é aplicativo de linha de comando utilizado para aplicar qualquer mudança no Gnome-Shell, do mesmo modo que Gconftools-2 o fazia no Gnome 2. Alguns outros comandos podem ser usados, por exemplo:
para estabelecer quais aplicativos irão aparecer de forma destacada no menu e definir a sua ordem:
ou para estabelecer os aplicativos com indicadores fixos no painel, bem como sua ordem: