RE: panel question

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

only on a edge panel :(

I am running gnome-core 1.0.1

going to get 1.0.3 but ftp busy :)

> -----Original Message-----
> From:	Brad Hilton [SMTP:bhilton@vpop.net]
> Sent:	Tuesday, March 23, 1999 1:45 PM
> To:	Fox, Kevin M
> Subject:	Re: panel question
> 
> I believe auto-hiding works for cornel panels.  At least, it is working
> for me now.  I am using the latest build of gnome-core from cvs, so
> maybe that's something they added recently.
> 
> If you pull up properties for your cornel panel, don't you see an option
> to "Auto Hide"?
> 
> -Brad
> 
> "Fox, Kevin M" wrote:
> > 
> > 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
> > 
> > --
> >         FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
> >          To unsubscribe: mail gnome-list-request@gnome.org with
> >                        "unsubscribe" as the Subject.