diff options
| author | Mauro Aranda <maurooaranda@gmail.com> | 2021-01-04 09:58:10 -0300 |
|---|---|---|
| committer | Mauro Aranda <maurooaranda@gmail.com> | 2021-01-04 10:26:14 -0300 |
| commit | 99cc0045ebd45ade32c0b42fe807d87a52458542 (patch) | |
| tree | 019b02f5ee055f904800e18eee7e2240c7c74c68 /doc/lispintro | |
| parent | 32c960bdc61e26521507f2d629ba4da8a4db842e (diff) | |
| download | emacs-99cc0045ebd45ade32c0b42fe807d87a52458542.tar.gz emacs-99cc0045ebd45ade32c0b42fe807d87a52458542.tar.bz2 emacs-99cc0045ebd45ade32c0b42fe807d87a52458542.zip | |
Update two user option names in the Widget manual
* doc/misc/widget.texi (Basic Types): The user options
widget-glyph-directory and widget-glyph-enable were renamed long ago
to widget-image-directory and widget-image-enable, but the manual
kept calling them by their old names. Update the names.
Diffstat (limited to 'doc/lispintro')
0 files changed, 0 insertions, 0 deletions