RE: panel question

["Fox, Kevin M" <KMFox mail bhi-erc com>]

Hmm... cool option.... I would still like to see in the future an autohiding
cornerpanel thow :)

> -----Original Message-----
> From:	James Ramsey [SMTP:jjramsey_6x9eq42@yahoo.com]
> Sent:	Tuesday, March 23, 1999 12:47 PM
> To:	Fox, Kevin M
> Subject:	Re: panel question
> 
> ---"Fox, Kevin M" <KMFox@mail.bhi-erc.com> wrote:
> >
> > Is there a way to make a corner panel autohide? I like corner panels
> better
> > then edge panels, but I have to use autohide, otherwise I wast
> viewing space
> > ( viewing space is verry important :)
> > 
> 
> I don't know about an autohide per se, but you can set the GNOME panel
> so that it doesn't stay on top. I forget if this option is in 'This
> panel properties' or 'Global properties' of the panel, but I know it's
> in one of those two places. Note that this only works per se with
> GNOME-compliant window managers, but this is not a huge issue, since
> the GNOME panel generally doesn't try to stay on top when a
> non-compliant window manager is in use anyway.
> 
> P.S. Viewing space is important to me, too. I have a 14" monitor
> (640x480 resolution).
> 
> 
> 
> ==
> 
> 
> ----I am a fool for Christ. Mostly I am a fool.----
> 
> _________________________________________________________
> DO YOU YAHOO!?
> Get your free @yahoo.com address at http://mail.yahoo.com