[
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:
2006年7月05日 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.
- facemenu-unlisted-faces , Richard Stallman, 2006年07月01日
- Re: facemenu-unlisted-faces , Chong Yidong, 2006年07月01日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月01日
- Re: facemenu-unlisted-faces , Richard Stallman, 2006年07月02日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月02日
- Re: facemenu-unlisted-faces , David Kastrup, 2006年07月03日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月03日
- Re: facemenu-unlisted-faces , Richard Stallman, 2006年07月04日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月04日
- Re: facemenu-unlisted-faces,
Richard Stallman <=
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月05日
- Re: facemenu-unlisted-faces , Richard Stallman, 2006年07月06日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月06日
- Re: facemenu-unlisted-faces , Chong Yidong, 2006年07月03日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月03日
- Re: facemenu-unlisted-faces , Richard Stallman, 2006年07月04日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月04日
- Re: facemenu-unlisted-faces , Richard Stallman, 2006年07月05日
- RE: facemenu-unlisted-faces , Drew Adams, 2006年07月05日
- Re: facemenu-unlisted-faces , Richard Stallman, 2006年07月06日