diff gui/ui/menu.c @ 36291:b2edfe1a11a6

Process events after destroying a window. This allows other windows to get their expose events.
author ib
date Thu, 01 Aug 2013 17:29:47 +0000
parents e160aade4b6d
children 7d250553d451
line wrap: on
line diff
--- a/gui/ui/menu.c	Thu Aug 01 17:25:58 2013 +0000
+++ b/gui/ui/menu.c	Thu Aug 01 17:29:47 2013 +0000
@@ -130,6 +130,7 @@
 {
   nfree(menuDrawBuffer);
   wsWindowDestroy(&guiApp.menuWindow);
+  wsEvents();
 }
 
 void uiMenuShow( int mx,int my )