[orca/new-settings] Minor change on the profiles layout for better fit

[Juanje Ojeda Croissier <jojeda src gnome org>]

commit 4d412b083320f4f46e23c9c3fcae95fbf581985b
Author: Juanje Ojeda <jojeda emergya es>
Date:   Tue Oct 19 15:08:50 2010 +0200

    Minor change on the profiles layout for better fit

 src/orca/orca-setup.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/orca/orca-setup.ui b/src/orca/orca-setup.ui
index 6a3e89d..51bd410 100644
--- a/src/orca/orca-setup.ui
+++ b/src/orca/orca-setup.ui
@@ -548,7 +548,7 @@
                         <child>
                           <object class="GtkAlignment" id="alignment5">
                             <property name="visible">True</property>
-                            <property name="left_padding">12</property>
+                            <property name="left_padding">6</property>
                             <child>
                               <object class="GtkVBox" id="profilesVbox1">
                                 <property name="visible">True</property>
@@ -666,7 +666,7 @@
                                   <packing>
                                     <property name="expand">False</property>
                                     <property name="fill">False</property>
-                                    <property name="padding">12</property>
+                                    <property name="padding">6</property>
                                     <property name="position">0</property>
                                   </packing>
                                 </child>