From 6b1bbc46418524228070d0330faed217c9ba1622 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Sat, 18 Mar 1995 23:08:02 +0000
Subject: [PATCH] (display_menu_bar): Just one space between menu items.

---
 src/xdisp.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/xdisp.c b/src/xdisp.c
index e6b4021e1fd..f9e8491ca4e 100644
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -2928,10 +2928,10 @@ display_menu_bar (w)
 			       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);
 	}
-- 
2.39.5