diff options
| author | Richard M. Stallman <[email protected]> | 2005-01-30 11:34:58 +0000 |
|---|---|---|
| committer | Richard M. Stallman <[email protected]> | 2005-01-30 11:34:58 +0000 |
| commit | 89fa0de4cd2f1501e83104fc68b82b74358467f4 (patch) | |
| tree | a6bc781337d59cb97cf4c6135df6ac5cd215b6eb /man/abbrevs.texi | |
| parent | 12e737f868df17955af01b810249202134f8ee72 (diff) | |
(Easy Customization): Defn of "User Option" now
includes faces. Don't say just "option" when talking about variables.
Do say just "options" to mean "anything customizable".
(Specific Customization): Describe `customize-variable',
not `customize-option'.
Diffstat (limited to 'man/abbrevs.texi')
0 files changed, 0 insertions, 0 deletions