From ad6fbaa2457f89504f7d4680f1575b7b061132bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 15 Apr 2020 20:27:15 +0200
Subject: [PATCH] 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>
---
 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 4bc4156c5..265182a1d 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>