# HG changeset patch # User Gerd Moellmann # Date 980867145 0 # Node ID 8c0eef9f8f5c8cb49129b855e44ac16737bce935 # Parent 4f422aadd41562bcd4d042290e2bad7477533a18 (build_desired_tool_bar_string, syms_of_xdisp): Use DEFAULT_TOOL_BAR_BUTTON_MARGIN and DEFAULT_TOOL_BAR_BUTTON_RELIEF. diff -r 4f422aadd415 -r 8c0eef9f8f5c src/xdisp.c --- a/src/xdisp.c Tue Jan 30 15:05:04 2001 +0000 +++ b/src/xdisp.c Tue Jan 30 15:05:45 2001 +0000 @@ -7214,7 +7214,9 @@ plist = Fcopy_sequence (XCDR (image)); /* Compute margin and relief to draw. */ - relief = tool_bar_button_relief > 0 ? tool_bar_button_relief : 3; + relief = (tool_bar_button_relief > 0 + ? tool_bar_button_relief + : DEFAULT_TOOL_BAR_BUTTON_RELIEF); hmargin = vmargin = relief; if (INTEGERP (Vtool_bar_button_margin) @@ -14189,11 +14191,11 @@ Otherwise, value should be a pair of integers `(HORZ : VERT)' with\n\ HORZ specifying the horizontal margin, and VERT specifying the\n\ vertical margin."); - Vtool_bar_button_margin = make_number (1); + Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN); DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief, "Relief thickness of tool-bar buttons."); - tool_bar_button_relief = 3; + tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF; DEFVAR_LISP ("fontification-functions", &Vfontification_functions, "List of functions to call to fontify regions of text.\n\