[file-roller] batch add: use a smaller padding for the 'other options' box

[Paolo Bacchilega <paobac src gnome org>]

commit 7d4d7001bc77fb8a25af69552aef7d9cdcdffc23
Author: Paolo Bacchilega <paobac src gnome org>
Date:   Wed Jun 20 14:13:28 2012 +0200

    batch add: use a smaller padding for the 'other options' box

 src/ui/batch-add-files.ui |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/src/ui/batch-add-files.ui b/src/ui/batch-add-files.ui
index 3a05c47..4b5cefb 100644
--- a/src/ui/batch-add-files.ui
+++ b/src/ui/batch-add-files.ui
@@ -70,7 +70,7 @@
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="border_width">5</property>
-            <property name="spacing">18</property>
+            <property name="spacing">12</property>
             <child>
               <object class="GtkImage" id="archive_icon_image">
                 <property name="width_request">64</property>
@@ -197,7 +197,6 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="margin_top">6</property>
-                    <property name="margin_bottom">6</property>
                     <property name="expanded">True</property>
                     <child>
                       <object class="GtkAlignment" id="alignment2">