diff gui/ui/playbar.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 ebbd9730a8c6
children 7d250553d451
line wrap: on
line diff
--- 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 )