changeset 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 6f543c795c4b
children d626e6b9fbc3
files gui/ui/main.c gui/ui/menu.c gui/ui/playbar.c gui/ui/video.c
diffstat 4 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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();
 }
--- 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 )
--- 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 )
--- 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();
 }