[gnome-builder] editor: hide unused widget for now

[Christian Hergert <chergert src gnome org>]

commit e07edd2c5af3830c42c8b13aa82c19df5708121d
Author: Christian Hergert <christian hergert me>
Date:   Mon Dec 1 20:23:29 2014 -0800

    editor: hide unused widget for now

 src/resources/ui/gb-editor-tab.ui |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/src/resources/ui/gb-editor-tab.ui b/src/resources/ui/gb-editor-tab.ui
index 3f9476c..c2dbee3 100644
--- a/src/resources/ui/gb-editor-tab.ui
+++ b/src/resources/ui/gb-editor-tab.ui
@@ -13,7 +13,7 @@
         </style>
         <child>
           <object class="GtkComboBox" id="symbol_browser">
-            <property name="visible">true</property>
+            <property name="visible">false</property>
             <property name="hexpand">true</property>
             <style>
               <class name="tab-control-first"/>
@@ -26,6 +26,7 @@
             <property name="tooltip_text">Split tab vertically</property>
             <style>
               <class name="image-button"/>
+              <class name="tab-control-first"/>
               <class name="tab-control-last"/>
             </style>
             <child>