[Top][All Lists]

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

Re: facemenu-unlisted-faces

From: Richard Stallman
Subject: Re: facemenu-unlisted-faces
Date: Wed, 05 Jul 2006 10:51:20 -0400

        If it were larger, the colors' names could appear too.

    The point here is *not* to use the names (but to make them available via

That makes no sense.  Showing the actual colors is useful; hiding
their names is not useful.

reply via email to

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