# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 765195045 0
# Node ID d53ff9fcf05a3cc55feae307dca2b08e396efd43
# Parent  ca39bae3744d97ae3dee780c4d55c5c84a460a28
(xmenu_show): Undo part of March 11 change:
Do call lw_destroy_all_widgets at the end.

diff -r ca39bae3744d -r d53ff9fcf05a src/xmenu.c
--- a/src/xmenu.c	Fri Apr 01 10:10:24 1994 +0000
+++ b/src/xmenu.c	Fri Apr 01 10:10:45 1994 +0000
@@ -1631,10 +1631,11 @@
       dispatch_dummy_expose (f->display.x->menubar_widget, x, y);
     }
 
-#if 0 /* No need to do that. The menu has disappeared.  */
+  /* fp turned off the following statement and wrote a comment
+     that it is unnecessary--that the menu has already disappeared.
+     I observer that is not so. -- rms.  */
   /* Make sure the menu disappears.  */
   lw_destroy_all_widgets (menu_id); 
-#endif
 
   /* Unread any events that we got but did not handle.  */
   while (queue != NULL)