On Mon, 2006-05-01 at 09:56 +0100, Leon wrote: > "Ali Helmy" <alihelmy@xxxxxxxxx> 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? -- Aaron Konstam <akonstam@xxxxxxxxxxxxx>