- Gnome Shell 3.6.2
- Ubuntu 12.10 64 bit
/org/gnome/gnome-panel/layout/toplevels/bottom-panel has several options theoretically to customize the behavior of Gnome panels.
I tried to set that the bottom bar is showed faster and that it is automatically hidden. For this I changed the settings as shown below in the screenshot:
I restarted the Gnome environment with Alt+F2+R, but it doesn't work.