Re: panel bug

[Daniel Burrows <Daniel_Burrows brown edu>]

On Wed, Mar 03, 1999 at 02:02:56PM -0500, Daniel Burrows was heard to say:
>   I see this too; in addition, the panel background persistently ignores themes
> entirely.  This is really annoying and has been around *forever*.  I've only
> got one gtkrc file (~/.gtkrc) so I don't know what the problem is.
> 
>   Daniel

  Heh.  I was wrong, the panel background does theme now.  It got fixed in CVS
and I didn't notice.  I apologize.

  The hidebuttons still need to be fixed, though. :-)

  Daniel

-- 
  You will soon forget this.