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

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

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

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

 subprojects/extensions-app/data/ui/extension-row.ui  |  5 ++++-
 .../extensions-app/data/ui/extensions-window.ui      | 20 ++++++++++++++++----
 subprojects/extensions-app/js/main.js                | 10 ++++++++--
 3 files changed, 28 insertions(+), 7 deletions(-)
---
diff --git a/subprojects/extensions-app/data/ui/extension-row.ui 
b/subprojects/extensions-app/data/ui/extension-row.ui
index 5aa18c4bbd..ae24a75e19 100644
--- a/subprojects/extensions-app/data/ui/extension-row.ui
+++ b/subprojects/extensions-app/data/ui/extension-row.ui
@@ -8,7 +8,10 @@
     <child>
       <object class="GtkGrid">
         <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="column-spacing">12</property>
         <child>
           <object class="GtkLabel" id="nameLabel">
diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui 
b/subprojects/extensions-app/data/ui/extensions-window.ui
index 265182a1dc..dab66aa204 100644
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -19,7 +19,10 @@
       <object class="GtkBox">
         <property name="visible">True</property>
         <property name="orientation">vertical</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="GtkLabel">
@@ -153,7 +156,10 @@
                         <property name="visible">True</property>
                         <property name="orientation">vertical</property>
                         <property name="halign">center</property>
-                        <property name="margin">36</property>
+                        <property name="margin-start">36</property>
+                        <property name="margin-end">36</property>
+                        <property name="margin-top">36</property>
+                        <property name="margin-bottom">36</property>
                         <property name="spacing">12</property>
                         <child>
                           <object class="GtkLabel">
@@ -215,7 +221,10 @@
               <object class="GtkBox">
                 <property name="visible">True</property>
                 <property name="orientation">vertical</property>
-                <property name="margin">32</property>
+                <property name="margin-start">32</property>
+                <property name="margin-end">32</property>
+                <property name="margin-top">32</property>
+                <property name="margin-bottom">32</property>
                 <property name="spacing">6</property>
                 <property name="valign">center</property>
                 <child>
@@ -286,7 +295,10 @@
               <object class="GtkImage">
                 <property name="visible">True</property>
                 <property name="pixel-size">24</property>
-                <property name="margin">6</property>
+                <property name="margin-start">6</property>
+                <property name="margin-end">6</property>
+                <property name="margin-top">6</property>
+                <property name="margin-bottom">6</property>
                 <property name="icon-name">software-update-available-symbolic</property>
                 <style>
                   <class name="warning"/>
diff --git a/subprojects/extensions-app/js/main.js b/subprojects/extensions-app/js/main.js
index 31a717df7f..dc993ef966 100644
--- a/subprojects/extensions-app/js/main.js
+++ b/subprojects/extensions-app/js/main.js
@@ -152,7 +152,10 @@ var ExtensionsWindow = GObject.registerClass({
         this._userList.set_filter_func(this._filterList.bind(this));
         this._userList.set_placeholder(new Gtk.Label({
             label: _('No Matches'),
-            margin: 12,
+            margin_start: 12,
+            margin_end: 12,
+            margin_top: 12,
+            margin_bottom: 12,
             visible: true,
         }));
 
@@ -161,7 +164,10 @@ var ExtensionsWindow = GObject.registerClass({
         this._systemList.set_filter_func(this._filterList.bind(this));
         this._systemList.set_placeholder(new Gtk.Label({
             label: _('No Matches'),
-            margin: 12,
+            margin_start: 12,
+            margin_end: 12,
+            margin_top: 12,
+            margin_bottom: 12,
             visible: true,
         }));