Re: Gnome Panel Auto-Hide

[Leon <sdl web gmail com>]

"Ali Helmy" <alihelmy gmail com> 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