[gnome-shell/wip/fmuellner/gtk4: 11/23] extensions-app: Don't use deprecated margin-left/right properties

[Florian Müllner <fmuellner src gnome org>]

commit c741d23443be0bafb3ed72a6447ec6b667db085a
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Apr 15 20:27:15 2020 +0200

    extensions-app: Don't use deprecated margin-left/right properties
    
    Use the text-direction-aware start/end variants instead.

 subprojects/extensions-app/data/ui/extensions-window.ui | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui 
b/subprojects/extensions-app/data/ui/extensions-window.ui
index 4bc4156c5c..265182a1dc 100644
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -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>