O Cinnamon, um Fork do GNOME Shell feito pelos desenvolvedores do Linux Mint, escondeu a barra superior contida originalmente no GNOME Shell, que contém o menu 'Atividades'.

Porém este menu continua ativo, e por causa do novo MintMenu incluído, ficou sem muitas utilidades, sendo melhor escondê-lo.

Para escondê-lo, abra um terminal e digite:

$ gsettings set org.cinnamon overview-corner-visible false
$ gsettings set org.cinnamon overview-corner-hover false

E, caso deseje reativá-lo:

$ gsettings set org.cinnamon overview-corner-visible true
$ gsettings set org.cinnamon overview-corner-hover true

[1] Comentário enviado por ramonzitos em 12/01/2012 - 12:26h:

PS: Caso você precise ter acesso a esse menu, para, por exemplo, mudar o tema, pode usar o atalho CTRL+ALT+CIMA.

[2] Comentário enviado por keikun007 em 25/01/2012 - 09:47h:

essa dica foi super útil! agora na versão 1.2 essa opção está acessível pelo cinnamon-settings ;)