Please try these panel updates (Was: Re: panel autohide bug)

[Jens Luedicke]

On Fri, 2003-07-25 at 13:01, Jasper Huijsmans wrote:

> How about this one (if you don't mind):
> 

Sorry. Doesn't work either. 


> PS
> I don't really know what is causing the behaviour. Just trying some
> things ;-)

Rip out that feature ;-)

Jens