Panel autohide

[Moritz Heiber]

> 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.

5 is okay with me as well .. though it might be a good idea to make it configurable.

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

Yep. Agreed.

> 
> 	Jasper
> 

Bye,

Moritz