Panel autohide

[Jasper Huijsmans]

On 13 Apr 2003 16:58:23 +0200
Olivier Fourdan <fourdan at xfce.org> wrote:

> Yeah, go ahead, we'll deal with that one...
> 

Ok, done. Next question, I have now two hardcoded settings that may have
to be configurable. I'd like to hear your opion on that:

* size of hidden panel. It is 5 pixels at the moment. This seems like a
  reasonable default value to me.

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

	Jasper