[gnome-builder] build-tools: hide run button

[Christian Hergert <chergert src gnome org>]

commit 7ccec28cfb677162eb1bed45a474c56221ec9867
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jun 27 17:19:06 2016 -0700

    build-tools: hide run button
    
    Until we have run support plumbed through, this needs to be hidden.

 plugins/build-tools/gbp-build-workbench-addin.c |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/plugins/build-tools/gbp-build-workbench-addin.c b/plugins/build-tools/gbp-build-workbench-addin.c
index 90d86ce..9511e32 100644
--- a/plugins/build-tools/gbp-build-workbench-addin.c
+++ b/plugins/build-tools/gbp-build-workbench-addin.c
@@ -334,12 +334,13 @@ gbp_build_workbench_addin_load (IdeWorkbenchAddin *addin,
 
   header = ide_workbench_get_headerbar (workbench);
 
+  /* XXX: Button is hidden until we add run support */
   self->run_button = g_object_new (GTK_TYPE_BUTTON,
                                    "child", g_object_new (GTK_TYPE_IMAGE,
                                                           "icon-name", "media-playback-start-symbolic",
                                                           "visible", TRUE,
                                                           NULL),
-                                   "visible", TRUE,
+                                   "visible", FALSE,
                                    NULL);
   ide_widget_add_style_class (self->run_button, "image-button");
 
@@ -470,6 +471,8 @@ gbp_build_workbench_addin_perpsective_set (IdeWorkbenchAddin *addin,
 
   g_assert (GBP_IS_BUILD_WORKBENCH_ADDIN (self));
 
+  /* XXX: Hidden until we add run support */
+#if 0
   if (IDE_IS_EDITOR_PERSPECTIVE (perspective))
     {
       gtk_widget_show (self->run_button);
@@ -478,6 +481,7 @@ gbp_build_workbench_addin_perpsective_set (IdeWorkbenchAddin *addin,
     {
       gtk_widget_hide (self->run_button);
     }
+#endif
 }
 
 static void