diff options
| -rw-r--r-- | Gui/wm/ws.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Gui/wm/ws.c b/Gui/wm/ws.c index a36476e79a..32d27687cf 100644 --- a/Gui/wm/ws.c +++ b/Gui/wm/ws.c @@ -645,13 +645,13 @@ while(wsTrue){ // handle pending events while ( XPending(wsDisplay) ){ XNextEvent( wsDisplay,&wsEvent ); - printf("### X event: %d [%d]\n",wsEvent.type,delay); +// printf("### X event: %d [%d]\n",wsEvent.type,delay); wsEvents( wsDisplay,&wsEvent,NULL ); - delay=20; + delay=0; } mplTimerHandler(0); // handle timer event usleep(delay*1000); // FIXME! - if(delay<8*20) delay+=20; // pump up delay up to 0.16 sec (low activity) + if(delay<10*20) delay+=20; // pump up delay up to 0.2 sec (low activity) } #else |