[gnome-builder/wip/chergert/layout] workbench: tweak spacing in primary box

[Christian Hergert <chergert src gnome org>]

commit 887f7d9f4b9c486e28bdfcdf6df2bc7d914965f8
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 10 14:58:39 2017 -0700

    workbench: tweak spacing in primary box
    
    This is closer to the mockup.

 libide/workbench/ide-workbench-header-bar.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/workbench/ide-workbench-header-bar.ui b/libide/workbench/ide-workbench-header-bar.ui
index 971f029..e32bbc2 100644
--- a/libide/workbench/ide-workbench-header-bar.ui
+++ b/libide/workbench/ide-workbench-header-bar.ui
@@ -5,7 +5,7 @@
     <property name="show-close-button">true</property>
     <child>
       <object class="GtkBox" id="primary">
-        <property name="spacing">12</property>
+        <property name="spacing">10</property>
         <property name="visible">true</property>
         <property name="margin-end">24</property>
       </object>