[gnome-builder] workbench: flush out work when destroying window

[Christian Hergert <chergert src gnome org>]

commit 83c3bddce036e8005b7427979dd41a9e328417ed
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 30 19:40:12 2018 -0700

    workbench: flush out work when destroying window
    
    This helps us ensure that we hit the destroy paths on lots of objects
    during the destruction of the window. Mostly useful for development so we
    put this behind the IDE_ENABLE_TRACE define.

 src/libide/workbench/ide-workbench.c | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/src/libide/workbench/ide-workbench.c b/src/libide/workbench/ide-workbench.c
index 348d47867..0cffa207b 100644
--- a/src/libide/workbench/ide-workbench.c
+++ b/src/libide/workbench/ide-workbench.c
@@ -110,6 +110,12 @@ ide_workbench_unload_cb (GObject      *object,
   gtk_widget_destroy (GTK_WIDGET (self));
 
   g_clear_object (&self->context);
+
+#ifdef IDE_ENABLE_TRACE
+  /* Flush out any pending work */
+  while (gtk_events_pending ())
+    gtk_main_iteration ();
+#endif
 }
 
 static gboolean