autohide

["Havoc Pennington" <hp pobox com>]

Hi,

I can't find the code that makes an autohide-mode bigboard autohide -
it just stays open until you manually close it, right? Am I missing
this code?

This ends up a little weird since no strut is set on an autohide-mode
sidebar, your desktop is not really usable while it's open.

I'm not sure of the intended behavior though? Should it autohide after
a timeout if it's not focused and the mouse is not over it? Or would
that break in some cases?

Havoc