# HG changeset patch
# User reimar
# Date 1098124004 0
# Node ID d80a81d6e2d8cef04ec55bf7b6c4d0e61284a9f2
# Parent  e12b3834decf29b0b2a5c17efd095e7da2e8d3a9
Limit Gui redraw rate.

diff -r e12b3834decf -r d80a81d6e2d8 Gui/mplayer/mw.c
--- a/Gui/mplayer/mw.c	Mon Oct 18 13:16:13 2004 +0000
+++ b/Gui/mplayer/mw.c	Mon Oct 18 18:26:44 2004 +0000
@@ -26,6 +26,7 @@
 #include "../../libmpdemux/stheader.h"
 #include "../../codec-cfg.h"
 
+#define GUI_REDRAW_WAIT 375
 
 #include "play.h"
 #include "widgets.h"
@@ -76,6 +77,7 @@
 extern void exit_player(char* how);
 extern int vcd_track;
 extern int osd_visible;
+static unsigned last_redraw_time = 0;
 
 void mplEventHandling( int msg,float param )
 {
@@ -329,6 +331,15 @@
 
 // --- timer events
    case evRedraw:
+        {
+          unsigned now = GetTimerMS();
+          extern int mplPBFade;
+          if ((now > last_redraw_time) &&
+              (now < last_redraw_time + GUI_REDRAW_WAIT) &&
+              !mplPBFade)
+            break;
+          last_redraw_time = now;
+        }
         mplMainRender=1;
         wsPostRedisplay( &appMPlayer.mainWindow );
 	wsPostRedisplay( &appMPlayer.barWindow );