changeset 41807:e9e9a80e58be

(syms_of_xdisp): Make `tool-bar-button-relief` an option.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 03 Dec 2001 19:19:56 +0000
parents afe310730a69
children 083243bc9b60
files src/xdisp.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Mon Dec 03 11:40:21 2001 +0000
+++ b/src/xdisp.c	Mon Dec 03 19:19:56 2001 +0000
@@ -14861,7 +14861,7 @@
   Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN);
 
   DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief,
-    doc: /* Relief thickness of tool-bar buttons.  */);
+    doc: /* *Relief thickness of tool-bar buttons.  */);
   tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF;
 
   DEFVAR_LISP ("fontification-functions", &Vfontification_functions,