Re: Gnome Panel Auto-Hide

[Aaron Konstam]

On Mon, 2006-05-01 at 09:56 +0100, Leon wrote:
> "Ali Helmy"  writes:
> > Hey lads,
> >
> > I turned on Auto-Hide for my gnome top-panel and then resized the
> > auto-hide to 0 pxs, and it worked fine... however, when I restarted
> > the computer and logged back in, it doesn't work anymore... turning
> > auto-hide on or off has no effect what so ever, and it stays this way
> > and i cant get it to function again
>
> Likely a bug.
>
> -- 
> Leon

I having difficulty finding the autohide option. I thought it was using
gconf-editor at app -> panel -> top (or bottom)panel. But I only find
background option there. What am I missing?