# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1007313701 0
# Node ID 27f9d9949ca2051f86169d45e9bbfd7d5f7ea1ca
# Parent  d4d4356bdaa129066d8b71842db102e946dc8da6
Fix typo in doc-string.

diff -r d4d4356bdaa1 -r 27f9d9949ca2 src/xdisp.c
--- a/src/xdisp.c	Sun Dec 02 14:02:14 2001 +0000
+++ b/src/xdisp.c	Sun Dec 02 17:21:41 2001 +0000
@@ -14855,7 +14855,7 @@
   DEFVAR_LISP ("tool-bar-button-margin", &Vtool_bar_button_margin,
     doc: /* *Margin around tool-bar buttons in pixels.
 If an integer, use that for both horizontal and vertical margins.
-Otherwise, value should be a pair of integers `(HORZ : VERT)' with
+Otherwise, value should be a pair of integers `(HORZ . VERT)' with
 HORZ specifying the horizontal margin, and VERT specifying the
 vertical margin.  */);
   Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN);