[gnome-music/gbsneto/toolbar-improvements: 12/15] playertoolbar: Increase margins




commit 5bb423b3e48b1ad64a82a3db3d867de5618ec396
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Fri Aug 13 10:26:55 2021 -0300

    playertoolbar: Increase margins
    
    Adding a small 6px margin to the inner boxes gets it closer to
    the mockups.

 data/ui/PlayerToolbar.ui | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/data/ui/PlayerToolbar.ui b/data/ui/PlayerToolbar.ui
index a39404af4..1dba5dc04 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -39,6 +39,7 @@
         <property name="has_tooltip">True</property>
         <property name="valign">center</property>
         <property name="spacing">8</property>
+        <property name="margin">6</property>
         <signal name="query-tooltip" handler="_on_tooltip_query"/>
         <child>
           <object class="ArtStack" id="_art_stack">
@@ -93,6 +94,7 @@
         <property name="orientation">vertical</property>
         <property name="visible">True</property>
         <property name="can_focus">False</property>
+        <property name="margin">6</property>
         <child>
           <object class="GtkBox" id="buttons">
             <property name="visible">True</property>
@@ -209,6 +211,7 @@
         <property name="can_focus">False</property>
         <property name="halign">end</property>
         <property name="valign">center</property>
+        <property name="margin">6</property>
         <child>
           <object class="GtkMenuButton" id="_repeat_menu_button">
             <property name="visible">True</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]