Panel autohide

[Olivier Fourdan]

Hi Jasper,

On Sun, 2003-04-13 at 18:18, Jasper Huijsmans wrote:
> * size of hidden panel. It is 5 pixels at the moment. This seems like a
>   reasonable default value to me.

It's fine.

> * autohide delay: I set it to 2sec now. That is a bit long probably. I
>   can see this may have to be configurable.

Indeed, it's a big long.  1/2 second would be enough IMO.

But these two settings should stay hard coded. It's not something the
user should control.

Cheers,
-- 
Olivier Fourdan <fourdan at xfce.org>
http://www.xfce.org