# HG changeset patch
# User ib
# Date 1358961760 0
# Node ID 9c7bab18690c8958fb8b17932651a15e7cc1021d
# Parent  bfe51acc36fb08d84e460fe4c7e17eedd9ab5b6f
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.

diff -r bfe51acc36fb -r 9c7bab18690c gui/ui/actions.c
--- 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 */