# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 795568082 0
# Node ID da9137aa151f415dd6429692a18137403614e716
# Parent  bf32108711c6f5835853346b0206f13cf9cf8b79
(display_menu_bar): Just one space between menu items.

diff -r bf32108711c6 -r da9137aa151f src/xdisp.c
--- a/src/xdisp.c	Sat Mar 18 22:55:23 1995 +0000
+++ b/src/xdisp.c	Sat Mar 18 23:08:02 1995 +0000
@@ -2928,10 +2928,10 @@
 			       XSTRING (string)->data,
 			       XSTRING (string)->size,
 			       hpos, 0, 0, hpos, maxendcol);
-      /* Put a gap of 3 spaces between items.  */
+      /* Put a space between items.  */
       if (hpos < maxendcol)
 	{
-	  int hpos1 = hpos + 3;
+	  int hpos1 = hpos + 1;
 	  hpos = display_string (w, vpos, "", 0, hpos, 0, 0,
 				 min (hpos1, maxendcol), maxendcol);
 	}