diff options
author | Gerd Moellmann <gerd@gnu.org> | 2001-01-30 15:05:45 +0000 |
---|---|---|
committer | Gerd Moellmann <gerd@gnu.org> | 2001-01-30 15:05:45 +0000 |
commit | c3d761736c70e80156b4f38922d0c0d845af815c (patch) | |
tree | 67d4896e356034bb5fc1c344d63a8f68e3729851 | |
parent | 6a1bcd01124b65bf8775a5ff7b5898b53c8d0c1e (diff) | |
download | emacs-c3d761736c70e80156b4f38922d0c0d845af815c.tar.gz |
(build_desired_tool_bar_string, syms_of_xdisp): Use
DEFAULT_TOOL_BAR_BUTTON_MARGIN and DEFAULT_TOOL_BAR_BUTTON_RELIEF.
-rw-r--r-- | src/xdisp.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 149741d9857..247e111750e 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -7214,7 +7214,9 @@ build_desired_tool_bar_string (f) 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 @@ If an integer, use that for both horizontal and vertical margins.\n\ 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\ |