[gnome-builder] terminal: disable input when child exists without respawn

[Christian Hergert <chergert src gnome org>]

commit cb0ff0553d5578d7b3768df51f1ee1c2804a516a
Author: Christian Hergert <chergert redhat com>
Date:   Tue Aug 6 12:13:08 2019 -0700

    terminal: disable input when child exists without respawn
    
    Ideally this would allow keybindings to work, but sadly it does not. We
    can set it to be more correct anyway.

 src/libide/terminal/ide-terminal-page.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/libide/terminal/ide-terminal-page.c b/src/libide/terminal/ide-terminal-page.c
index 607029e8d..f497101d5 100644
--- a/src/libide/terminal/ide-terminal-page.c
+++ b/src/libide/terminal/ide-terminal-page.c
@@ -125,6 +125,8 @@ ide_terminal_page_spawn_cb (GObject      *object,
                                    (GSourceFunc) destroy_widget_in_idle,
                                    g_object_ref (self),
                                    g_object_unref);
+      else
+        vte_terminal_set_input_enabled (VTE_TERMINAL (self->terminal_top), FALSE);
       return;
     }