"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
