[gnome-builder] grep: tweak spacing above entry box

[Christian Hergert <chergert src gnome org>]

commit e1e1c1465f2700fd28611236476e738063cfb07a
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 30 14:35:59 2018 -0700

    grep: tweak spacing above entry box

 src/plugins/grep/gbp-grep-popover.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/grep/gbp-grep-popover.ui b/src/plugins/grep/gbp-grep-popover.ui
index 1e1cab7e3..2a8baa2c8 100644
--- a/src/plugins/grep/gbp-grep-popover.ui
+++ b/src/plugins/grep/gbp-grep-popover.ui
@@ -19,6 +19,7 @@
         </child>
         <child>
           <object class="GtkBox">
+            <property name="margin-top">6</property>
             <property name="orientation">horizontal</property>
             <property name="spacing">6</property>
             <property name="visible">true</property>