|
| From: | Richard Stallman |
| Subject: | Re: Customize interface: better face editor |
| Date: | Mon, 07 Jun 2004 03:11:18 -0400 |
[INS]
Attributes of this face:
[DEL] Weight: [Value Menu] bold
[Add attribute]
This would be less convenient and harder for beginners to understand.
I am not in favor of it.
| [Prev in Thread] | Current Thread | [Next in Thread] |