diff options
author | Jakub Steiner <jimmac@gmail.com> | 2021-02-04 18:27:30 +0100 |
---|---|---|
committer | Jakub Steiner <jimmac@gmail.com> | 2021-02-04 18:46:55 +0100 |
commit | b96df0241484db6e98ab93854a496f7a518a5915 (patch) | |
tree | 19c51ad7163328d798faa97749b41c47b0967d88 | |
parent | 96d66def8c004d6a052534af1681d25ccd3fd760 (diff) | |
download | gnome-shell-wip/jimmac/dash-icon-spacing-fixes.tar.gz |
theme: Space dash itemswip/jimmac/dash-icon-spacing-fixes
- don't nuke separator
- space appropriately
Fixes a fix for https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3640
-rw-r--r-- | data/theme/gnome-shell-sass/widgets/_dash.scss | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss index fb720acbe..87f01e7d0 100644 --- a/data/theme/gnome-shell-sass/widgets/_dash.scss +++ b/data/theme/gnome-shell-sass/widgets/_dash.scss @@ -9,8 +9,7 @@ $dash_border_radius: $modal_radius * 1.5; background-color: $dash_background_color; @include fontsize($base_font_size - 2); margin: $base_margin * 4 $base_margin * 2; - padding: ($dash_spacing / 2) 0; - + padding: 0 $dash_spacing; border-radius: $dash_border_radius; .placeholder { @@ -27,17 +26,14 @@ $dash_border_radius: $modal_radius * 1.5; } // Dash Items -.dash-item-container { - & > StWidget { - padding: ($dash_spacing / 2) 0; //all compact - } +.dash-item-container > StWidget { + padding: $dash_spacing 0; } -.app-well-app:first-child { - padding-left: $dash_spacing; //first one padded -} -.show-apps:last-child { //last one padded slightly from the favorites - padding: ($dash_spacing / 2) $dash_spacing ($dash_spacing / 2) ($dash_spacing / 2); +.dash-separator { + width: 1px; + margin: 0 ($dash_spacing / 2); + background-color: transparentize($osd_fg_color,0.7); } // OSD Tooltip @@ -64,4 +60,3 @@ $dash_border_radius: $modal_radius * 1.5; } } } - |