extensions-app: Don't use deprecated margin-left/right properties

Use the text-direction-aware start/end variants instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
This commit is contained in:
Florian Müllner 2020-04-15 20:27:15 +02:00 committed by Marge Bot
parent 8eb1792d39
commit ad6fbaa245

View File

@ -243,8 +243,8 @@
<child>
<object class="GtkBox">
<property name="visible">True</property>
<property name="margin-left">100</property>
<property name="margin-right">100</property>
<property name="margin-start">100</property>
<property name="margin-end">100</property>
<property name="margin-top">100</property>
<property name="margin-bottom">60</property>
<property name="orientation">vertical</property>