[gnome-music/wip/jfelder/new-playertoolbar: 9/14] playertoolbar: Make the play button circular
- From: Jean Felder <jfelder src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/jfelder/new-playertoolbar: 9/14] playertoolbar: Make the play button circular
- Date: Tue, 4 May 2021 14:18:17 +0000 (UTC)
commit 116ce2f4e7dadc4d90a75f1cd00b2d9b6c813457
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]