(syms_of_xdisp): Make tool-bar-button-relief an option.

This commit is contained in:
Pavel Janík 2001-12-03 19:19:56 +00:00
parent 8af54a640d
commit 6da3c85b68

View file

@ -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,