/org/gnome/gnome-panel/layout/toplevels/bottom-panel
dispose théoriquement de plusieurs options pour personnaliser le comportement des panneaux Gnome.
J'ai essayé de définir que la barre du bas est affichée plus rapidement et qu'elle est automatiquement masquée. Pour cela, j'ai modifié les paramètres comme indiqué ci-dessous dans la capture d'écran:
J'ai redémarré l'environnement Gnome avec Alt+F2+Rmais ça ne marche pas.
La réponse est: non, ils ne sont pas utilisés par Gnome Shell.
La raison est simple: ces paramètres sont pour gnome-panel et gnome-panel ne fait pas partie de Gnome Shell, il fait partie de ce que l'on appelle Gnome Fallback (ou Gnome Classic).
Si vous voulez une preuve à 100%, téléchargez le code source de gnome-panel et de gnome-Shell:
apt-get source gnome-panel gnome-Shell
et ensuite chercher une propriété:
grep -r unhide-delay
Vous verrez que tous les résultats proviennent du paquet gnome-panel.