From 3d09b6beb65bd0aa4131d5ba32044bfb8f7dfbab Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Fri, 25 Apr 1997 04:47:13 +0000
Subject: [PATCH] (x_set_menu_bar_lines): Increment windows_or_buffers_changed.

---
 src/xfns.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/xfns.c b/src/xfns.c
index 603d2a8013d..cd9002da270 100644
--- a/src/xfns.c
+++ b/src/xfns.c
@@ -1726,6 +1726,9 @@ x_set_menu_bar_lines (f, value, oldval)
   else
     nlines = 0;
 
+  /* Make sure we redisplay all windows in this frame.  */
+  windows_or_buffers_changed++;
+
 #ifdef USE_X_TOOLKIT
   FRAME_MENU_BAR_LINES (f) = 0;
   if (nlines)
-- 
2.39.5