[gnome-builder] prefs: add space between sidebar and header bar

[Christian Hergert <chergert src gnome org>]

commit 83d3d7c330e70dd2a3f5b274505df5c1f941264f
Author: Christian Hergert <christian hergert me>
Date:   Sun May 3 19:54:58 2015 -0700

    prefs: add space between sidebar and header bar
    
    Requested by Lapo.
    
    4px above sidebar and below header bar.
    
    This caused the search bar to look funny (because of the 1px window size
    requirement bug), so switched to using an outer GtkRevealer to workaround
    that bug.

 data/ui/gb-preferences-window.ui |   17 ++++++++++++-----
 1 files changed, 12 insertions(+), 5 deletions(-)
---
diff --git a/data/ui/gb-preferences-window.ui b/data/ui/gb-preferences-window.ui
index 02936ea..b11ac76 100644
--- a/data/ui/gb-preferences-window.ui
+++ b/data/ui/gb-preferences-window.ui
@@ -67,20 +67,27 @@
             <property name="orientation">vertical</property>
             <property name="visible">True</property>
             <child>
-              <object class="GtkSearchBar" id="search_bar">
+              <object class="GtkRevealer" id="search_revealer">
                 <property name="visible">True</property>
-                <property name="show-close-button">False</property>
-                <property name="search-mode-enabled" bind-source="search_toggle" bind-property="active" 
bind-flags="bidirectional">False</property>
+                <property name="reveal-child" bind-source="search_toggle" bind-property="active" 
bind-flags="bidirectional">False</property>
                 <child>
-                  <object class="GtkEntry" id="search_entry">
-                    <property name="placeholder-text" translatable="yes">Search Preferences</property>
+                  <object class="GtkSearchBar" id="search_bar">
                     <property name="visible">True</property>
+                    <property name="show-close-button">False</property>
+                    <property name="search-mode-enabled">True</property>
+                    <child>
+                      <object class="GtkEntry" id="search_entry">
+                        <property name="placeholder-text" translatable="yes">Search Preferences</property>
+                        <property name="visible">True</property>
+                      </object>
+                    </child>
                   </object>
                 </child>
               </object>
             </child>
             <child>
               <object class="GtkStackSidebar" id="sidebar">
+                <property name="margin-top">4</property>
                 <property name="visible">True</property>
                 <property name="vexpand">True</property>
                 <property name="stack">stack</property>