[gnome-shell] theme: Use the same style for dash tooltips as for window captions
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] theme: Use the same style for dash tooltips as for window captions
- Date: Tue, 16 Feb 2021 19:29:59 +0000 (UTC)
commit 901ecfb61921909c7fca7e2fb66d6a1e50879bb2
Author: Sebastian Keller <skeller gnome org>
Date: Tue Feb 16 01:28:00 2021 +0100
theme: Use the same style for dash tooltips as for window captions
Both serve a similar function but had different styles. Since these two
can now be seen next to each other, the visual difference is quite
noticeable.
Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3727
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1681>
data/theme/gnome-shell-sass/widgets/_dash.scss | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index c36f00e75f..e3b9c59a81 100644
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/widgets/_dash.scss
@@ -51,12 +51,10 @@ $dash_border_radius: $modal_radius * 1.5;
// OSD Tooltip
.dash-label {
- background-color: transparentize($osd_bg_color,0.05);
- border-radius: $base_border_radius + 2px;
- border:none;
- box-shadow:0 0 0 1px $osd_outer_borders_color;
color: $osd_fg_color;
- padding: $base_padding $base_padding + 2px;
+ background-color: $osd_bg_color;
+ border-radius: 99px;
+ padding: $base_padding $base_padding * 2;
text-align: center;
-y-offset: $base_margin * 3; // distance from the dash edge
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]