Você precisa usar o dconf-editor do pacote dconf-tools e definir as propriedades manualmente. Quando o pacote estiver instalado, pressione alt + f2 e execute o dconf-editor. Localizar Org > Gnome > gnome-panel > layout > toplevels. Isso conterá "painel inferior" e "painel superior", cada um com suas próprias configurações, como velocidade de animação, ocultação automática, tamanho de ocultamento automático, atraso de ocultação, etc.
Jogue com essas configurações e reinicie o gnome-panel pressionando alt + f2 e executando killall gnome-panel
.