[gimp/wip/animation: 15/145] plug-ins: stop animation playback before quitting.

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

commit ce339bf37bb2b85685d354959c0317dc28751ebe
Author: Jehan <jehan girinstud io>
Date:   Wed Aug 19 16:12:55 2015 +0200

    plug-ins: stop animation playback before quitting.

 plug-ins/animation-play/animation-dialog.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/plug-ins/animation-play/animation-dialog.c b/plug-ins/animation-play/animation-dialog.c
index 4809576..8f87292 100755
--- a/plug-ins/animation-play/animation-dialog.c
+++ b/plug-ins/animation-play/animation-dialog.c
@@ -1118,9 +1118,12 @@ update_ui_sensitivity (AnimationDialog *dialog)
 /**** UI CALLBACKS ****/
 
 static void
-close_callback (GtkAction           *action,
+close_callback (GtkAction       *action,
                 AnimationDialog *dialog)
 {
+  AnimationDialogPrivate *priv = GET_PRIVATE (dialog);
+
+  animation_stop (priv->animation);
   gtk_widget_destroy (GTK_WIDGET (dialog));
 }