# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1007407196 0
# Node ID e9e9a80e58bed6c7d1616b53403028a03a434626
# Parent  afe310730a69fee70704207911e4db596d9964e8
(syms_of_xdisp): Make `tool-bar-button-relief` an option.

diff -r afe310730a69 -r e9e9a80e58be src/xdisp.c
--- 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,