diff options
| author | nana-4 <hnmaigo@gmail.com> | 2020-01-13 13:58:20 +0900 |
|---|---|---|
| committer | nana-4 <hnmaigo@gmail.com> | 2020-01-17 12:21:44 +0000 |
| commit | ebf6e75b5e5b3798ff7b87dc9c1be515601ac789 (patch) | |
| tree | fa6de6c487252b75a131275f82327cfdcd20495f | |
| parent | b0ca52ffdc37cb8fb685e425638636a1eae33679 (diff) | |
| download | gnome-shell-ebf6e75b5e5b3798ff7b87dc9c1be515601ac789.tar.gz | |
theme: Fix off-centered clickable area of dash items
https://gitlab.gnome.org/GNOME/gnome-shell/issues/2088
| -rw-r--r-- | data/theme/gnome-shell-sass/widgets/_dash.scss | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss index 20cdae5ef..5c1b4e1de 100644 --- a/data/theme/gnome-shell-sass/widgets/_dash.scss +++ b/data/theme/gnome-shell-sass/widgets/_dash.scss @@ -1,13 +1,13 @@ /* Dash */ $dash_placeholder_size: 32px; +$dash_spacing: $base_padding + 4px; $dash_border_radius: $modal_radius * 1.5; #dash { @extend %overview_panel; @include fontsize($base_font_size - 2); - padding: 0; - padding-bottom: $base_padding + 4px; + padding: ($dash_spacing / 2) 0; //fixme: can't have non uniform borders :( border-radius: 0 $dash_border_radius $dash_border_radius 0; @@ -32,8 +32,7 @@ $dash_border_radius: $modal_radius * 1.5; // Dash Items .dash-item-container > StWidget { - padding: $base_padding + 4px; - padding-bottom: 0; + padding: ($dash_spacing / 2) $dash_spacing; } // OSD Tooltip |