Re: panel question

[Gleef <dzol virtual-yellow com>]

On 24 Mar 1999, Robert Bihlmeyer wrote:
> Hi,
> 
> >>>>> On Tue, 23 Mar 1999 17:17:01 -0500 (EST)
> >>>>> Gleef <dzol@virtual-yellow.com> said:
> 
>  Gleef> Corner panel autohide works fine on later versions.
> 
> There's nothing to this effect in panel 1.0.3's "this panel
> properties".

Perhaps it didn't get put in until after that release.  You can try a
snapshot, or CVS, or wait until the next release.

-Gleef