From c95926aaed59ea5d0b8c76bfd00f75099b88de2f Mon Sep 17 00:00:00 2001 From: nana-4 <hnmaigo@gmail.com> Date: Sat, 25 Jan 2020 08:51:12 +0900 Subject: [PATCH] theme: Fix dash tooltip misalignment margin-top is unnecessary here. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/2130 --- data/theme/gnome-shell-sass/widgets/_dash.scss | 1 - 1 file changed, 1 deletion(-) diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss index 5c1b4e1de..9956a1ad5 100644 --- a/data/theme/gnome-shell-sass/widgets/_dash.scss +++ b/data/theme/gnome-shell-sass/widgets/_dash.scss @@ -42,7 +42,6 @@ $dash_border_radius: $modal_radius * 1.5; border:none; box-shadow:0 0 0 1px $osd_outer_borders_color; color: $osd_fg_color; - margin-top: $base_margin + 4px; padding: $base_padding $base_padding + 2px; text-align: center; -x-offset: $base_margin * 2; // distance from the dash edge