[gnome-builder] terminal: destroy terminal on exit

[Christian Hergert <chergert src gnome org>]

commit 007aefbf320f879bdbf2bf98e5be27b6d17a4966
Author: Christian Hergert <chergert redhat com>
Date:   Tue Apr 30 14:44:55 2019 -0700

    terminal: destroy terminal on exit

 src/libide/terminal/ide-terminal-workspace.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/terminal/ide-terminal-workspace.ui b/src/libide/terminal/ide-terminal-workspace.ui
index 7cda775b1..e7dbb4941 100644
--- a/src/libide/terminal/ide-terminal-workspace.ui
+++ b/src/libide/terminal/ide-terminal-workspace.ui
@@ -25,6 +25,7 @@
             <property name="visible">true</property>
             <child>
               <object class="IdeTerminalPage">
+                <property name="respawn-on-exit">false</property>
                 <property name="visible">true</property>
               </object>
             </child>