Synopsis: Wrong colors in command line after piping State-Changed-From-To: feedback->closed State-Changed-By: rado State-Changed-When: Wed, 21 Sep 2005 17:43:30 +0200 State-Changed-Why: no response for 4 weeks. **** Comment added by rado on Wed, 21 Sep 2005 17:43:30 +0200 ****