From 99cc0045ebd45ade32c0b42fe807d87a52458542 Mon Sep 17 00:00:00 2001 From: Mauro Aranda Date: Mon, 4 Jan 2021 09:58:10 -0300 Subject: [PATCH] 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 | 8 ++++---- 1 file 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 -- 2.39.2