display: add some border padding

This commit is contained in:
William Jon McCann 2010-11-21 18:48:10 -05:00
parent ba0971fa6a
commit e658b6341b

View file

@ -26,6 +26,7 @@
<child> <child>
<object class="GtkVBox" id="display-panel"> <object class="GtkVBox" id="display-panel">
<property name="visible">True</property> <property name="visible">True</property>
<property name="border_width">10</property>
<property name="orientation">vertical</property> <property name="orientation">vertical</property>
<property name="spacing">12</property> <property name="spacing">12</property>
<child> <child>