Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.
  • 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:

screenshot

I restarted the Gnome environment with Alt+F2+R, but it doesn't work.

share|improve this question
    
Are you using GNOME or GNOME Classic/Fallback? –  Jeremy Bicha Jan 26 '13 at 6:10
    
@JeremyBicha From the Q: "Gnome Shell 3.6.2" –  gertvdijk Jan 29 '13 at 12:00
    
You should try to use gconf-editor –  Ubuntu Jan 29 '13 at 14:37
add comment

1 Answer

up vote 4 down vote accepted
+50

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:

apt-get source gnome-panel gnome-shell

and then look for a property:

grep -r unhide-delay

You'll see that all results come from the gnome-panel package.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.