diff options
Diffstat (limited to 'Gui')
-rw-r--r-- | Gui/mplayer/mplayer.c | 8 | ||||
-rw-r--r-- | Gui/wm/ws.c | 10 |
2 files changed, 17 insertions, 1 deletions
diff --git a/Gui/mplayer/mplayer.c b/Gui/mplayer/mplayer.c index 66bff1f521..52d04ea665 100644 --- a/Gui/mplayer/mplayer.c +++ b/Gui/mplayer/mplayer.c @@ -108,7 +108,11 @@ void mplInit( int argc,char* argv[], char *envp[] ) // timerSetHandler( mplTimerHandler ); // various timer hacks // timerInit(); - wsMainLoop(); // X event handler (calls mplTimerHandler periodically!) +// wsMainLoop(); // X event handler (calls mplTimerHandler periodically!) + +} + +void mplDone(){ dbprintf( 1,"[mplayer] exit.\n" ); @@ -116,4 +120,6 @@ void mplInit( int argc,char* argv[], char *envp[] ) // timerDone(); gtkDone(); // kills the gtkThreadProc() process wsXDone(); + } + 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; |