[gnome-shell/wip/fmuellner/gtk4: 14/19] dbusServices/extensions: Stop using :margin shortcut

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

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

    dbusServices/extensions: Stop using :margin shortcut
    
    The property has been removed in GTK4, so prepare for a port by
    setting the four individual margin properties instead.

 js/dbusServices/extensions/ui/extension-prefs-dialog.ui | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/js/dbusServices/extensions/ui/extension-prefs-dialog.ui 
b/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
index faf69f252e..e7895bba62 100644
--- a/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
+++ b/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
@@ -27,7 +27,9 @@
                   <object class="GtkBox">
                     <property name="visible">True</property>
                     <property name="orientation">vertical</property>
-                    <property name="margin">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="spacing">12</property>
                     <child>
@@ -65,7 +67,10 @@
                                 <child>
                                   <object class="GtkBox">
                                     <property name="visible">True</property>
-                                    <property name="margin">12</property>
+                                    <property name="margin-start">12</property>
+                                    <property name="margin-end">12</property>
+                                    <property name="margin-top">12</property>
+                                    <property name="margin-bottom">12</property>
                                     <property name="spacing">6</property>
                                     <child>
                                       <object class="GtkImage" id="expanderArrow">