martin/emacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update two user option names in the Widget manual

Browse Source 
* 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.
This commit is contained in:
Mauro Aranda
2021-01-04 09:58:10 -03:00
parent 32c960bdc6
commit 99cc0045eb
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
doc/misc/widget.texi
View File

@@ -692,14 +692,14 @@ arguments, which will be used when creating the @code{radio-button} or
@end table
@deffn {User Option} widget-glyph-directory
Directory where glyphs are found.
@deffn {User Option} widget-image-directory
Directory where Widget should look for images.
Widget will look here for a file with the same name as specified for the
image, with either a @file{.xpm} (if supported) or @file{.xbm} extension.
@end deffn
@deffn{User Option} widget-glyph-enable
If non-@code{nil}, allow glyphs to appear on displays where they are supported.
@deffn{User Option} widget-image-enable
If non-@code{nil}, allow images to appear on displays where they are supported.
@end deffn