[gnome-music/wip/jfelder/gtk4-v3: 71/110] ui/playlistdialog: Use margins instead of border-width

[Jean Felder <jfelder src gnome org>]

commit 644836317e12930f9a6d2b3822528d009cf80488
Author: Jean Felder <jfelder src gnome org>
Date:   Mon Jan 10 15:27:57 2022 +0100

    ui/playlistdialog: Use margins instead of border-width

 data/ui/PlaylistDialog.ui | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/data/ui/PlaylistDialog.ui b/data/ui/PlaylistDialog.ui
index 3fefaa8aa..0967338d2 100644
--- a/data/ui/PlaylistDialog.ui
+++ b/data/ui/PlaylistDialog.ui
@@ -141,7 +141,10 @@
                       <object class="GtkBox" id="new-playlist-hbox">
                         <property name="visible">True</property>
                         <property name="focusable">False</property>
-                        <property name="border_width">6</property>
+                        <property name="margin-bottom">6</property>
+                        <property name="margin-end">6</property>
+                        <property name="margin-start">6</property>
+                        <property name="margin-top">6</property>
                         <child>
                           <object class="GtkEntry" id="_new_playlist_entry">
                             <property name="visible">True</property>