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
This commit is contained in:
Marek Kasik 2013-02-19 13:40:19 +01:00
parent 693aac7f32
commit f4d1808b8c

View file

@ -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>