|
| From: | Richard M. Stallman |
| Subject: | Re: user preferences (was RE: toolbar conventions) |
| Date: | Thu, 22 Dec 2005 12:52:17 -0500 |
I've decided to downgrade the feature of user options that are not customizable, and use the term "settings" for variables and faces that work with Custom.
| [Prev in Thread] | Current Thread | [Next in Thread] |