diff src/xmenu.c @ 6625:d53ff9fcf05a

(xmenu_show): Undo part of March 11 change: Do call lw_destroy_all_widgets at the end.

--- 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)