Re: panel autohide

[David Bordoley <bordoley msu edu>]

I should have been more clear, this is by design, but the design is
broken.

dave

On Wed, 2002-03-20 at 01:20, Travis Saling wrote:
> > Menu panel is very broken and can't really be configured. Right now the
> > gnome ui team is considering just removing it from gnome 2.2 and
> > replacing it with functionally equivalent applets.
> 
> You know, I just assumed that was by design - I didn't know it was
> broken! But it'd be great to be able to get the drop-down tasklist (with
> or without the clock) as a regular old applet.
> 
> -- 
> Travis Saling
> Webmaster, UW Electrical Engineering
> trav u washington edu / webmaster ee washington edu
> (206) 543-8984
> 
> _______________________________________________
> gnome-list mailing list
> gnome-list gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-list