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

[Jean Felder <jfelder src gnome org>]

commit 5b433e3ad4ba06b3f9daeb08268067ab36610b98
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 b28712388..0cb82b27d 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>