1 files changed, 10 insertions, 0 deletions
diff --git a/Gui/wm/ws.c b/Gui/wm/ws.c
index 32d27687cf..4922d8998a 100644
--- a/Gui/wm/ws.c
+++ b/Gui/wm/ws.c
@@ -631,6 +631,16 @@ buttonreleased:
 Bool wsDummyEvents( Display * display,XEvent * Event,XPointer arg )
 { return True; }
 
+// mplTimerHandler(0); // handle timer event
+void wsHandleEvents(){
+ // handle pending events
+ while ( XPending(wsDisplay) ){
+   XNextEvent( wsDisplay,&wsEvent );
+//   printf("### X event: %d  [%d]\n",wsEvent.type,delay);
+   wsEvents( wsDisplay,&wsEvent,NULL );
+ }
+}
+
 void wsMainLoop( void )
 {
  int delay=20;