[gnome-builder] styling: increase border width of view switcher.

[Christian Hergert <chergert src gnome org>]

commit acaff725132323c07df723bb87c2270483aaf058
Author: Christian Hergert <christian hergert me>
Date:   Wed Sep 10 03:39:04 2014 -0700

    styling: increase border width of view switcher.

 src/resources/ui/gb-workbench.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/resources/ui/gb-workbench.ui b/src/resources/ui/gb-workbench.ui
index 5250b48..9322806 100644
--- a/src/resources/ui/gb-workbench.ui
+++ b/src/resources/ui/gb-workbench.ui
@@ -123,7 +123,7 @@
             <property name="visible">True</property>
             <property name="stack">stack</property>
             <property name="orientation">vertical</property>
-            <property name="border_width">3</property>
+            <property name="border_width">4</property>
             <property name="spacing">4</property>
           </object>
         </child>