projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32c960b) | patch
Update two user option names in the Widget manual
authorMauro Aranda <maurooaranda@gmail.com>
Mon, 4 Jan 2021 12:58:10 +0000 (09:58 -0300)
committerMauro Aranda <maurooaranda@gmail.com>
Mon, 4 Jan 2021 13:26:14 +0000 (10:26 -0300)
commit99cc0045ebd45ade32c0b42fe807d87a52458542
tree019b02f5ee055f904800e18eee7e2240c7c74c68tree | snapshot
parent32c960bdc61e26521507f2d629ba4da8a4db842ecommit | diff
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.
doc/misc/widget.texi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.