mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-23 06:00:41 -08:00
Code Issues 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 @end table
@deffn {User Option} widget-glyph-directory @deffn {User Option} widget-image-directory
Directory where glyphs are found. Directory where Widget should look for images.
Widget will look here for a file with the same name as specified for the 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. image, with either a @file{.xpm} (if supported) or @file{.xbm} extension.
@end deffn @end deffn
@deffn{User Option} widget-glyph-enable @deffn{User Option} widget-image-enable
If non-@code{nil}, allow glyphs to appear on displays where they are supported. If non-@code{nil}, allow images to appear on displays where they are supported.
@end deffn @end deffn