[gnome-music/wip/jfelder/remove-margin-left-right: 6/19] playlistswidget: Remove margin-left and margin-right usage

[Jean Felder <jfelder src gnome org>]

commit 5d88d07490de6ac46a73d74063f569c6c0bd687a
Author: Jean Felder <jfelder src gnome org>
Date:   Mon Mar 15 11:58:19 2021 +0100

    playlistswidget: Remove margin-left and margin-right usage
    
    They are now deprecated and have been removed in Gtk4. Use
    margin-start and margin-end instead.

 data/ui/PlaylistsWidget.ui | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/data/ui/PlaylistsWidget.ui b/data/ui/PlaylistsWidget.ui
index fbc7882b4..cbfb68d97 100644
--- a/data/ui/PlaylistsWidget.ui
+++ b/data/ui/PlaylistsWidget.ui
@@ -14,10 +14,10 @@
         <property name="visible">True</property>
         <child>
           <object class="GtkListBox" id="_songs_list">
-            <property name="margin-left">80</property>
-            <property name="margin-right">80</property>
-            <property name="margin-top">20</property>
             <property name="margin-bottom">20</property>
+            <property name="margin-end">80</property>
+            <property name="margin-start">80</property>
+            <property name="margin-top">20</property>
             <property name="valign">start</property>
             <property name="visible">True</property>
             <style>