changeset 35745:9c7bab18690c

Remove unnecessary setting of uiVideoRender. For the playing state, it's already done in the video window's redraw handler, and if !guiInfo.Playing, it's true anyway.
author ib
date Wed, 23 Jan 2013 17:22:40 +0000
parents bfe51acc36fb
children e745b22750f6
files gui/ui/actions.c
diffstat 1 files changed, 1 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/gui/ui/actions.c	Wed Jan 23 17:10:33 2013 +0000
+++ b/gui/ui/actions.c	Wed Jan 23 17:22:40 2013 +0000
@@ -84,7 +84,6 @@
     }
 
     gui(GUI_SET_STATE, (void *)GUI_PLAY);
-    uiVideoRender = False;
 }
 
 /**
@@ -199,10 +198,8 @@
     if (guiApp.video.Bitmap.Image)
         wsImageRender(&guiApp.videoWindow, guiApp.video.Bitmap.Image);
 
-    if (!guiInfo.Playing) {
-        uiVideoRender = True;
+    if (!guiInfo.Playing)
         wsWindowRedraw(&guiApp.videoWindow);
-    }
 
     /* reload playbar */