[gnome-builder] prefs: add spacing

[Christian Hergert <chergert src gnome org>]

commit 02fe25bd9c690e04e73ad60f206be01a8af6b29d
Author: Christian Hergert <christian hergert me>
Date:   Thu Dec 11 04:32:46 2014 -0800

    prefs: add spacing
    
    This obviously isn't the ideal deaign, but add some spacing for now.

 src/resources/ui/gb-preferences-page-editor.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/resources/ui/gb-preferences-page-editor.ui b/src/resources/ui/gb-preferences-page-editor.ui
index cb1a6af..8786cf0 100644
--- a/src/resources/ui/gb-preferences-page-editor.ui
+++ b/src/resources/ui/gb-preferences-page-editor.ui
@@ -6,6 +6,7 @@
       <object class="GtkBox">
         <property name="visible">true</property>
         <property name="orientation">vertical</property>
+        <property name="spacing">6</property>
         <child>
           <object class="GtkGrid" id="grid1">
             <property name="visible">True</property>