# HG changeset patch
# User pontscho
# Date 999784745 0
# Node ID 17660d830bcb1af092406dcfcd18a765ad62b8b8
# Parent  c65abbc91c5c2562522f323e5fe32cc387f1efd0
upsz ... timer disabling fix, sorry

diff -r c65abbc91c5c -r 17660d830bcb Gui/mplayer/play.c
--- a/Gui/mplayer/play.c	Thu Sep 06 09:36:48 2001 +0000
+++ b/Gui/mplayer/play.c	Thu Sep 06 13:59:05 2001 +0000
@@ -202,7 +202,6 @@
 
 void EventHandling( void )
 {
- wsHandleEvents();
- //mplTimerHandler(0); // handle GUI timer events
+ wsHandleEvents();mplTimerHandler(0); // handle GUI timer events
  if ( mplShMem->SkinChange ) ChangeSkin();
 }