[gnome-control-center] printers: Improve look of driver selection dialog

[Marek Kašík <mkasik src gnome org>]

commit f4d1808b8c1183d22bf5eaf00967426d03fefad7
Author: Marek Kasik <mkasik redhat com>
Date:   Tue Feb 19 13:40:19 2013 +0100

    printers: Improve look of driver selection dialog
    
    Add 10 pixels of padding between list of manufacturers
    and list of drivers.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=690448

 panels/printers/ppd-selection-dialog.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/panels/printers/ppd-selection-dialog.ui b/panels/printers/ppd-selection-dialog.ui
index c6e04e3..1c880a9 100644
--- a/panels/printers/ppd-selection-dialog.ui
+++ b/panels/printers/ppd-selection-dialog.ui
@@ -108,6 +108,7 @@
               <object class="GtkBox" id="box3">
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
+                <property name="spacing">10</property>
                 <child>
                   <object class="GtkScrolledWindow" id="scrolledwindow1">
                     <property name="width_request">140</property>