A chave hide-delay
em dconf-editor
nas entradas abaixo de /org/gnome/gnome-panel/layout/toplevels/
itens na árvore, parece com o que você está procurando.
Existe uma opção no gconf-editor ou em algum outro lugar onde eu possa ajustar o tempo de atraso do hide do painel em uma sessão clássica do gnome?
Eu encontrei
A chave hide-delay
em dconf-editor
nas entradas abaixo de /org/gnome/gnome-panel/layout/toplevels/
itens na árvore, parece com o que você está procurando.