changeset 34035:5daa51a194ed

Force redraw of main window after playback has ended. This will draw the evSetMoviePosition item at 100% which may not happen due to the GUI_REDRAW_WAIT delay otherwise.
author ib
date Wed, 21 Sep 2011 14:20:04 +0000
parents 8c75091726d8
children 87cc9c910c06
files gui/interface.c gui/ui/main.c
diffstat 2 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gui/interface.c	Wed Sep 21 13:55:40 2011 +0000
+++ b/gui/interface.c	Wed Sep 21 14:20:04 2011 +0000
@@ -765,6 +765,8 @@
 
     case GUI_END_FILE:
 
+        uiEventHandling(evRedraw, 1);
+
         if (!uiGotoTheNext && guiInfo.Playing) {
             uiGotoTheNext = 1;
             break;
--- a/gui/ui/main.c	Wed Sep 21 13:55:40 2011 +0000
+++ b/gui/ui/main.c	Wed Sep 21 14:20:04 2011 +0000
@@ -403,7 +403,7 @@
           unsigned now = GetTimerMS();
           if ((now > last_redraw_time) &&
               (now < last_redraw_time + GUI_REDRAW_WAIT) &&
-              !uiPlaybarFade)
+              !uiPlaybarFade && (iparam == 0))
             break;
           last_redraw_time = now;
         }