|
| 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
tooltip).
That makes no sense. Showing the actual colors is useful; hiding
their names is not useful.
| [Prev in Thread] | Current Thread | [Next in Thread] |