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 | |
| 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.
| -rw-r--r-- | doc/misc/widget.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/misc/widget.texi b/doc/misc/widget.texi index 6f0b63e5bf4..64cbf8d950a 100644 --- a/doc/misc/widget.texi +++ b/doc/misc/widget.texi @@ -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 |