[gimp/wip/animation: 366/373] plug-ins: refresh the progress display after animation export.

[Jehan Pagès <jehanp src gnome org>]

commit 14976d5ed554a2a01d8e467c26d86e779205272c
Author: Jehan <jehan girinstud io>
Date:   Thu Aug 3 04:33:30 2017 +0200

    plug-ins: refresh the progress display after animation export.

 plug-ins/animation-play/widgets/animation-dialog.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/plug-ins/animation-play/widgets/animation-dialog.c 
b/plug-ins/animation-play/widgets/animation-dialog.c
index dd2d5c4..4a05e37 100755
--- a/plug-ins/animation-play/widgets/animation-dialog.c
+++ b/plug-ins/animation-play/widgets/animation-dialog.c
@@ -1627,6 +1627,8 @@ export_callback (GtkAction       *action,
       gtk_container_foreach (GTK_CONTAINER (priv->upper_bar),
                              (GtkCallback) gtk_widget_set_sensitive,
                              GINT_TO_POINTER (TRUE));
+      /* Set the progression bar to its position message. */
+      show_playing_progress (dialog);
     }
   else
     {