[gnome-music/wip/jfelder/remove-margin-left-right: 4/13] songwidget: Remove margin_right usage

[Jean Felder <jfelder src gnome org>]

commit bb37ea456fdceab3dbc0d1dc18805038b397d7cf
Author: Jean Felder <jfelder src gnome org>
Date:   Mon Mar 22 21:48:44 2021 +0100

    songwidget: Remove margin_right usage
    
    It is now deprecated and has been removed in Gtk4. Use margin-end
    instead.

 data/ui/SongWidget.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/ui/SongWidget.ui b/data/ui/SongWidget.ui
index 8280ce9db..acc89e7ab 100644
--- a/data/ui/SongWidget.ui
+++ b/data/ui/SongWidget.ui
@@ -163,7 +163,7 @@
                 <property name="halign">end</property>
                 <property name="valign">center</property>
                 <property name="visible_window">True</property>
-                <property name="margin_right">12</property>
+                <property name="margin-end">12</property>
                 <signal name="button-release-event" handler="_on_star_toggle" swapped="no"/>
                 <signal name="enter-notify-event" handler="_on_star_hover" swapped="no"/>
                 <signal name="leave-notify-event" handler="_on_star_unhover" swapped="no"/>