diff gui/interface.c @ 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 afb361a00e1f
children 9f19a87d2062
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;