[gnome-builder/wip/libide: 35/237] ui: remove unused workspace selector

[Christian Hergert <chergert src gnome org>]

commit cc78a6206839feba227d8493b9ddd61e1424844e
Author: Christian Hergert <christian hergert me>
Date:   Sat Feb 7 16:52:03 2015 -0800

    ui: remove unused workspace selector

 src/resources/ui/gb-workbench.ui |   18 ------------------
 1 files changed, 0 insertions(+), 18 deletions(-)
---
diff --git a/src/resources/ui/gb-workbench.ui b/src/resources/ui/gb-workbench.ui
index a2d348a..7db1027 100644
--- a/src/resources/ui/gb-workbench.ui
+++ b/src/resources/ui/gb-workbench.ui
@@ -148,24 +148,6 @@
             <property name="orientation">vertical</property>
             <property name="visible">True</property>
             <child>
-              <object class="GtkStackSwitcher" id="switcher">
-                <property name="visible">False</property>
-                <property name="stack">stack</property>
-                <property name="orientation">vertical</property>
-                <property name="border_width">4</property>
-                <property name="spacing">4</property>
-                <style>
-                  <class name="gb-workspace-switcher"/>
-                </style>
-              </object>
-            </child>
-            <child>
-              <object class="GtkSeparator" id="sidebar_separator">
-                <property name="visible">False</property>
-                <property name="orientation">vertical</property>
-              </object>
-            </child>
-            <child>
               <object class="GtkPaned" id="main_paned">
                 <property name="visible">True</property>
                 <property name="orientation">horizontal</property>