From 6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Pavel=20Jan=C3=ADk?= Date: Mon, 3 Dec 2001 19:19:56 +0000 Subject: [PATCH] (syms_of_xdisp): Make `tool-bar-button-relief` an option. --- src/xdisp.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xdisp.c b/src/xdisp.c index 45ed4c8c461..d103230a698 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -14861,7 +14861,7 @@ vertical margin. */); 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, -- 2.39.5