Re: face colors on 256 colors terminals

[Eli Zaretskii]

> Cc: Eli Zaretskii <address@hidden>,  address@hidden
> From: David Kastrup <address@hidden>
> Date: Thu, 07 Apr 2005 02:22:26 +0200
> 
> > I checked and I could not see any difference in behavior compared to the
> > approach in my first patch.
> >
> > Is this OK? 
> 
> I am certain I am missing the context, but is this really related to
> the #RRGGBB notation in any manner?  It really looks awful to me if
> white gets defined as #ff00ff00ff00, so I'd like to be as bothersome
> as to be grateful for some factual reassurance that we are indeed
> catering here for a real instead of a perceived problem, and that the
> fix in that manner is the right thing to do.

I'll let Dan answer that.