Re: autohide after time interval

[Sean 'Shaleh' Perry]

On 09-Feb-2002 Marco Fonseca wrote:
> Is it possible to have auto-hide hide after some specified interval 
> instead of immediately?
> 

not currently.  Should not be too difficult to add though.