[gnome-builder] terminal: disable terminal workspaces for release

[Christian Hergert <chergert src gnome org>]

commit 843ac60a83b7ac674cda6fd7af97ddf36f7b644e
Author: Christian Hergert <chergert redhat com>
Date:   Wed Sep 4 17:40:56 2019 -0700

    terminal: disable terminal workspaces for release
    
    This isn't ready for prime-time, so we'll disable it before 3.34.

 src/libide/terminal/gtk/menus.ui                      | 4 ++--
 src/plugins/terminal/gbp-terminal-application-addin.c | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/src/libide/terminal/gtk/menus.ui b/src/libide/terminal/gtk/menus.ui
index d8b14028a..d24f57329 100644
--- a/src/libide/terminal/gtk/menus.ui
+++ b/src/libide/terminal/gtk/menus.ui
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <interface>
-  <menu id="ide-primary-workspace-menu">
+  <!-- menu id="ide-primary-workspace-menu">
     <section id="ide-primary-workspace-menu-placeholder1">
       <item>
         <attribute name="after">ide-primary-workspace-menu-new-editor-workspace</attribute>
@@ -9,7 +9,7 @@
         <attribute name="action">win.new-terminal-workspace</attribute>
       </item>
     </section>
-  </menu>
+  </menu -->
   <menu id="ide-terminal-workspace-menu">
     <section id="ide-terminal-workspace-menu-close">
       <item>
diff --git a/src/plugins/terminal/gbp-terminal-application-addin.c 
b/src/plugins/terminal/gbp-terminal-application-addin.c
index 04e259273..8099b94e7 100644
--- a/src/plugins/terminal/gbp-terminal-application-addin.c
+++ b/src/plugins/terminal/gbp-terminal-application-addin.c
@@ -88,6 +88,7 @@ gbp_terminal_application_addin_add_option_entries (IdeApplicationAddin *addin,
   g_assert (GBP_IS_TERMINAL_APPLICATION_ADDIN (addin));
   g_assert (G_IS_APPLICATION (app));
 
+#if 0
   g_application_add_main_option (G_APPLICATION (app),
                                  "terminal",
                                  't',
@@ -95,6 +96,7 @@ gbp_terminal_application_addin_add_option_entries (IdeApplicationAddin *addin,
                                  G_OPTION_ARG_NONE,
                                  _("Use terminal interface"),
                                  NULL);
+#endif
 }
 
 static void