[gnome-music/wip/jfelder/new-playertoolbar: 6/10] playertoolbar: Add some margin before and after the progress scale

[Jean Felder <jfelder src gnome org>]

commit eaa4294b6cfe70a56113bd10d3fc21a85559f9a2
Author: Jean Felder <jfelder src gnome org>
Date:   Thu Jan 28 16:51:18 2021 +0100

    playertoolbar: Add some margin before and after the progress scale

 data/ui/PlayerToolbar.ui | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/data/ui/PlayerToolbar.ui b/data/ui/PlayerToolbar.ui
index 1a36b7751..d9487f69f 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -172,6 +172,8 @@
             <property name="visible">True</property>
             <property name="orientation">horizontal</property>
             <property name="can_focus">False</property>
+            <property name="margin_start">80</property>
+            <property name="margin_end">80</property>
             <child>
               <object class="GtkLabel" id="_progress_time_label">
                 <property name="visible">True</property>