# HG changeset patch
# User ib
# Date 1375378187 0
# Node ID b2edfe1a11a60ce0017b79fb43c03827bc8875dd
# Parent  6f543c795c4b34e514b40d388c7878500f74a11f
Process events after destroying a window.

This allows other windows to get their expose events.

diff -r 6f543c795c4b -r b2edfe1a11a6 gui/ui/main.c
--- a/gui/ui/main.c	Thu Aug 01 17:25:58 2013 +0000
+++ b/gui/ui/main.c	Thu Aug 01 17:29:47 2013 +0000
@@ -365,4 +365,5 @@
 {
   nfree(mainDrawBuffer);
   wsWindowDestroy(&guiApp.mainWindow);
+  wsEvents();
 }
diff -r 6f543c795c4b -r b2edfe1a11a6 gui/ui/menu.c
--- 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 )
diff -r 6f543c795c4b -r b2edfe1a11a6 gui/ui/playbar.c
--- a/gui/ui/playbar.c	Thu Aug 01 17:25:58 2013 +0000
+++ b/gui/ui/playbar.c	Thu Aug 01 17:29:47 2013 +0000
@@ -262,6 +262,7 @@
 {
   nfree(playbarDrawBuffer);
   wsWindowDestroy(&guiApp.playbarWindow);
+  wsEvents();
 }
 
 void uiPlaybarShow( int y )
diff -r 6f543c795c4b -r b2edfe1a11a6 gui/ui/video.c
--- a/gui/ui/video.c	Thu Aug 01 17:25:58 2013 +0000
+++ b/gui/ui/video.c	Thu Aug 01 17:29:47 2013 +0000
@@ -130,4 +130,5 @@
 void uiVideoDone (void)
 {
   wsWindowDestroy(&guiApp.videoWindow);
+  wsEvents();
 }