- 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.
The answer is: no, they aren't used by Gnome Shell.
The reason is simple: those settings are for gnome-panel and gnome-panel is not part of Gnome Shell, it is part of the so-called Gnome Fallback (or Gnome Classic).
If you want a proof to be 100% sure, download the source code of both gnome-panel and gnome-shell:
and then look for a property:
You'll see that all results come from the gnome-panel package.