From 0f46a1d650de71967dcf1591c145fc760014e8a0 Mon Sep 17 00:00:00 2001 From: Sebastian Keller Date: Thu, 4 Feb 2021 02:22:22 +0100 Subject: [PATCH] theme: Scale media player button padding with font size The total width of the MediaMessage scales with the font size, but the padding of the media player buttons do not, which can become an issue with text-scaling-factor < 1. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3664 Part-of: --- data/theme/gnome-shell-sass/widgets/_message-list.scss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/theme/gnome-shell-sass/widgets/_message-list.scss b/data/theme/gnome-shell-sass/widgets/_message-list.scss index 45edb26b2..02d122b91 100644 --- a/data/theme/gnome-shell-sass/widgets/_message-list.scss +++ b/data/theme/gnome-shell-sass/widgets/_message-list.scss @@ -99,7 +99,7 @@ /* Media Controls */ .message-media-control { - padding: $base_padding * 2 $base_padding * 4; + padding: $base_padding * 2 1.64em; // $base_padding * 4 = 24px color: darken($fg_color, 15%); // uses $hover_bg_color since the media controls are in a notification_bubble