info: Use margin-start/end instead of margin-left/right

https://bugzilla.gnome.org/show_bug.cgi?id=712661
This commit is contained in:
Yosef Or Boczko 2013-11-19 22:30:06 +02:00
parent bd1422980b
commit d83d7a207c

View file

@ -180,8 +180,8 @@
<property name="can_focus">False</property> <property name="can_focus">False</property>
<property name="border_width">10</property> <property name="border_width">10</property>
<property name="orientation">vertical</property> <property name="orientation">vertical</property>
<property name="margin-left">6</property> <property name="margin-start">6</property>
<property name="margin-right">6</property> <property name="margin-end">6</property>
<property name="margin-top">6</property> <property name="margin-top">6</property>
<property name="margin-bottom">6</property> <property name="margin-bottom">6</property>
<child> <child>