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

[Jean Felder <jfelder src gnome org>]

commit f1e4a827820c0eee1b6da99774216bebc42e47dd
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 e3f735cdf..ff629b378 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -115,6 +115,8 @@
         <property name="orientation">vertical</property>
         <property name="visible">True</property>
         <property name="can_focus">False</property>
+        <property name="margin_start">20</property>
+        <property name="margin_end">80</property>
         <child>
           <object class="GtkBox" id="buttons">
             <property name="visible">True</property>