[gedit] Replace dialog: reduce padding

[Paolo Borelli <pborelli src gnome org>]

commit fcd325d533b0227f3b39f3e3df04ed6d10085688
Author: Paolo Borelli <pborelli gnome org>
Date:   Wed Jan 14 21:56:52 2015 +0100

    Replace dialog: reduce padding

 gedit/resources/ui/gedit-replace-dialog.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gedit/resources/ui/gedit-replace-dialog.ui b/gedit/resources/ui/gedit-replace-dialog.ui
index b2a7975..70a954f 100644
--- a/gedit/resources/ui/gedit-replace-dialog.ui
+++ b/gedit/resources/ui/gedit-replace-dialog.ui
@@ -96,7 +96,7 @@
             <property name="can_focus">False</property>
             <property name="border_width">5</property>
             <property name="orientation">vertical</property>
-            <property name="spacing">18</property>
+            <property name="spacing">8</property>
             <child>
               <object class="GtkGrid" id="grid">
                 <property name="visible">True</property>
@@ -146,7 +146,7 @@
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
                 <property name="orientation">vertical</property>
-                <property name="spacing">12</property>
+                <property name="spacing">4</property>
                 <child>
                   <object class="GtkCheckButton" id="match_case_checkbutton">
                     <property name="label" translatable="yes">_Match case</property>