Subject: Re: bug#9722: list-colors-duplicates does not exclude enough colors on Windows

From: Eli Zaretskii <[email-masked]>
Date: Tue, 18 Oct 2011 23:01:09 +0200

> From: Juanma Barranquero <[email-masked]>
> Date: Tue, 18 Oct 2011 21:25:01 +0200
> Cc: [email-masked]
> 
> On Tue, Oct 18, 2011 at 19:07, Eli Zaretskii <[email-masked]> wrote:
> 
> > Anyway, does this fact change the conclusions in any way?
> 
> I don't think so. If anything, it makes checking for ^System a bit
> less ad hoc and a bit safer to use.

Perhaps add a comment in facemenu.el that mentions where the System*
prefix comes from.