[gimp] app: use gimp_widget_flush_expose() in GimpProgressBox

[Michael Natterer <mitch src gnome org>]

commit dc842d481bd7834c5c455c66b8914397758cd0f9
Author: Michael Natterer <mitch gimp org>
Date:   Fri Jul 11 00:40:56 2014 +0200

    app: use gimp_widget_flush_expose() in GimpProgressBox
    
    instead of flushing the widget manually.

 app/widgets/gimpprogressbox.c |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/app/widgets/gimpprogressbox.c b/app/widgets/gimpprogressbox.c
index 5418cad..cd75344 100644
--- a/app/widgets/gimpprogressbox.c
+++ b/app/widgets/gimpprogressbox.c
@@ -31,6 +31,7 @@
 #include "core/gimpprogress.h"
 
 #include "gimpprogressbox.h"
+#include "gimpwidgets-utils.h"
 
 #include "gimp-intl.h"
 
@@ -205,9 +206,7 @@ gimp_progress_box_progress_set_value (GimpProgress *progress,
         {
           gtk_progress_bar_set_fraction (bar, box->value);
 
-          if (gtk_widget_is_drawable (box->progress))
-            gdk_window_process_updates (gtk_widget_get_window (box->progress),
-                                        TRUE);
+          gimp_widget_flush_expose (box->progress);
         }
     }
 }