Re: how to autohide the panel?

[René J . V . Bertin]

PS: the answer to the question "how to autohide the panel?" must be something 
like *you* can only hide or unhide the panel yourself.

Or set it to autohide 8-)

R. / who couldn't resist.