[gnome-builder] workbench: hide unused buttons

[Christian Hergert <chergert src gnome org>]

commit b831a079a2f4df2d06ec4f8f6f0d12fdfbc62b4c
Author: Christian Hergert <christian hergert me>
Date:   Sun Jan 18 22:17:15 2015 -0800

    workbench: hide unused buttons
    
    Until we start implementing this stuff, let's just hide the buttons.

 src/resources/ui/gb-workbench.ui |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/resources/ui/gb-workbench.ui b/src/resources/ui/gb-workbench.ui
index 1ca0d2c..a2d348a 100644
--- a/src/resources/ui/gb-workbench.ui
+++ b/src/resources/ui/gb-workbench.ui
@@ -17,7 +17,7 @@
         </child>
         <child>
           <object class="GtkBox" id="navigation_box">
-            <property name="visible">True</property>
+            <property name="visible">False</property>
             <property name="orientation">horizontal</property>
             <style>
               <class name="linked"/>
@@ -96,7 +96,7 @@
         </child>
         <child>
           <object class="GtkMenuButton" id="add_button">
-            <property name="visible">True</property>
+            <property name="visible">False</property>
             <style>
               <class name="image-button"/>
             </style>
@@ -114,7 +114,7 @@
         </child>
         <child>
           <object class="GtkButton" id="run_button">
-            <property name="visible">True</property>
+            <property name="visible">False</property>
             <property name="sensitive">False</property>
             <style>
               <class name="image-button"/>