# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 808102547 0
# Node ID 0d750e41c4f22d1a8728908ed9d6f385f98276d1
# Parent  3917c5d131d3c456b7f3eb11b5025dc3d1a4c2e8
(x_set_menu_bar_lines) [USE_X_TOOLKIT]: When turning
menu bar on, make sure next redisplay creates it.

diff -r 3917c5d131d3 -r 0d750e41c4f2 src/xfns.c
--- a/src/xfns.c	Fri Aug 11 00:54:44 1995 +0000
+++ b/src/xfns.c	Fri Aug 11 00:55:47 1995 +0000
@@ -1694,7 +1694,12 @@
 #ifdef USE_X_TOOLKIT
   FRAME_MENU_BAR_LINES (f) = 0;
   if (nlines)
-    FRAME_EXTERNAL_MENU_BAR (f) = 1;
+    {
+      FRAME_EXTERNAL_MENU_BAR (f) = 1;
+      if (f->output_data.x->menubar_widget == 0)
+	/* Make sure next redisplay shows the menu bar.  */
+	XWINDOW (FRAME_SELECTED_WINDOW (f))->update_mode_line = Qt;
+    }
   else
     {
       if (FRAME_EXTERNAL_MENU_BAR (f) == 1)