# HG changeset patch
# User ib
# Date 1375378581 0
# Node ID c74ca4ce710310e627bf604c6ec991d617767c17
# Parent  d626e6b9fbc3726f224e794f869e236c7a71885e
Relocate wsEvents().

Put it behind all other calls, so that all events can be handled
(if already in the event queue).

diff -r d626e6b9fbc3 -r c74ca4ce7103 gui/interface.c
--- a/gui/interface.c	Thu Aug 01 17:34:54 2013 +0000
+++ b/gui/interface.c	Thu Aug 01 17:36:21 2013 +0000
@@ -843,9 +843,9 @@
 
             gui(GUI_SET_STATE, (void *)GUI_STOP);
 
-            wsEvents();
             wsWindowRedraw(&guiApp.videoWindow);
             wsMouseVisibility(&guiApp.videoWindow, wsShowMouseCursor);
+            wsEvents();
         }
 
         break;