Para liberar a execução de Alt + F1:
gsettings set org.gnome.desktop.wm.keybindings panel-main-menu "[]"
Para reverter a execução:
gsettings set org.gnome.desktop.wm.keybindings panel-main-menu "['<Alt>F1']"
Um logout pode ser necessário para ativar essas configurações ...
Eu recebi estes de um colega, cuja fonte era Ask Ubuntu . Ele acrescenta: "Isso é para o Gnome3, mas também se aplica ao Muffin (gerenciador de janelas do Cinnamon), pois é um fork do Mutter (gerenciador de janelas do Gnome3)."