show/hide button

[Nick Schermer]

2008/5/13, Brian J. Tarricone <bjt23 at cornell.edu>:
> Why is it necessary?  What's wrong with the panel's autohide behavior?
>  I feel like this is a niche feature that isn't really a great idea to
>  put in the panel proper...  Tho adding a way to allow plugins to change
>  autohide behavior might not be a bad idea.

It's not up to you to decide whether people should or shouldn't like
this feature ;-). My experimental panel already supports hiding
sideways (and guest what, it is kinda handy), so it only needs a
clever way to control this 'remote'.

Nick