[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: new *Help* argument highlighting

From: Miles Bader
Subject: Re: new *Help* argument highlighting
Date: 10 May 2004 10:32:06 +0900

Juanma Barranquero <address@hidden> writes:
> > I think you're wrong.  There's a lot of problems with adding colors.
> Sure. But we already have lots of faces, some of which add colors with
> not much remorse:
> That said, I wouldn't advocate adding colors to this as a default.

Whether or not colors are appropriate depends a lot on the context; each
case has to be thought about separately.  What people (including me) are
saying is that colors are the wrong thing for this case.

[Though, FWIW, I think that changes in _brightness_ are generally less
intrusive than changes in _hue_, especially if they're subtle.]

Ich bin ein Virus. Mach' mit und kopiere mich in Deine .signature.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]