[gnome-builder] terminal: lower destroy priority

[Christian Hergert <chergert src gnome org>]

commit c7a3f4261359f3808055c4308ded8e3a2e3d7b2a
Author: Christian Hergert <chergert redhat com>
Date:   Thu May 2 11:54:48 2019 -0700

    terminal: lower destroy priority
    
    To increase chances that any in-flight work has flushed.

 src/libide/terminal/ide-terminal-page.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/terminal/ide-terminal-page.c b/src/libide/terminal/ide-terminal-page.c
index 183a48d9b..ed8b36d37 100644
--- a/src/libide/terminal/ide-terminal-page.c
+++ b/src/libide/terminal/ide-terminal-page.c
@@ -114,7 +114,7 @@ ide_terminal_page_spawn_cb (GObject      *object,
   if (!self->respawn_on_exit)
     {
       if (self->close_on_exit)
-        gdk_threads_add_idle_full (G_PRIORITY_DEFAULT,
+        gdk_threads_add_idle_full (G_PRIORITY_LOW + 1000,
                                    (GSourceFunc) destroy_widget_in_idle,
                                    g_object_ref (self),
                                    g_object_unref);