changeset 6625:d53ff9fcf05a

(xmenu_show): Undo part of March 11 change: Do call lw_destroy_all_widgets at the end.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Apr 1994 10:10:45 +0000
parents ca39bae3744d
children 59c44532d2a0
files src/xmenu.c
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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)