Copie e cole o seguinte script no gedit:
#!/bin/bash
state=$(gsettings get org.cinnamon panels-autohide)
if [ $state = "['1:true']" ]; then
gsettings set org.cinnamon panels-autohide "['1:false']"
else
gsettings set org.cinnamon panels-autohide "['1:true']"
fi
... e salve como panel-autohide.sh
no seu diretório pessoal.
Em seguida, abra System Settings -> Keyboard -> Keyboard shortcuts -> Custom shortcuts
.
Clique em Add custom shortcut
. Preencha a seção Nome com Toggle Panel Autohide
. Na seção Comando, navegue e selecione panel-autohide.sh
.
Em "Ligações de teclado", clique duas vezes em não atribuído e pressione o atalho de teclado para este comando. Eu uso Ctrl + F12 como atalho de teclado.