[gnome-music/wip/jfelder/new-playertoolbar: 10/15] playertoolbar: Make the play button circular




commit e33a6b1a6a45055b382b0f1777769407ac240c68
Author: Jean Felder <jfelder src gnome org>
Date:   Tue Apr 27 23:12:31 2021 +0200

    playertoolbar: Make the play button circular

 data/org.gnome.Music.css | 9 +++++++++
 data/ui/PlayerToolbar.ui | 4 ++++
 2 files changed, 13 insertions(+)
---
diff --git a/data/org.gnome.Music.css b/data/org.gnome.Music.css
index 980aae0ca..768619eb9 100644
--- a/data/org.gnome.Music.css
+++ b/data/org.gnome.Music.css
@@ -49,6 +49,15 @@ box#ArtistAlbumsWidget .artist-label {
     font-size: smaller;
 }
 
+.border-solid {
+    border-style: solid;
+}
+
+.pill {
+    border-radius: 9999px;
+    -gtk-outline-radius: 9999px;
+}
+
 /* PlaylistControls */
 .playlist-name-label {
   font-weight: bold;
diff --git a/data/ui/PlayerToolbar.ui b/data/ui/PlayerToolbar.ui
index 2e26007df..fe4eeeadb 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -144,6 +144,10 @@
                 <property name="always_show_image">True</property>
                 <property name="tooltip_text" translatable="yes">Play</property>
                 <signal name="clicked" handler="_on_play_button_clicked" swapped="no"/>
+                <style>
+                  <class name="border-solid"/>
+                  <class name="pill"/>
+                </style>
               </object>
             </child>
             <child>


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