Synopsis: 'default' color now gives strange side-effects State-Changed-From-To: open->closed State-Changed-By: brendan State-Changed-When: Mon, 01 Aug 2005 20:22:38 +0200 State-Changed-Why: Unreproducible, obsolete, appears to be a downstream bug. **** Comment added by brendan on Mon, 01 Aug 2005 20:22:38 +0200 ****