brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

overview: Increase margin-top of the dash slightly

Browse Source 
Now that we made window previews overlap the edges of the wallpaper
underneath them, the app icons of those windows are getting quite close
to the dash and there is almost no more spacing.

Let's make it look a little bit better and slightly increase the
margin-top of the dash so that the workspaces move a few more pixels
away from the dash.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1813>
This commit is contained in:
Jonas Dreßler 2021-05-04 15:24:01 +02:00 committed by Marge Bot
parent 4e83aaf850
commit bad94ab350
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/theme/gnome-shell-sass/widgets/_dash.scss
View File

@ -11,7 +11,7 @@ $dash_border_radius: $modal_radius * 1.5;
#dash { #dash {
@include fontsize($base_font_size - 2); @include fontsize($base_font_size - 2);
margin-top: $base_spacing * 2; margin-top: $base_spacing * 3;
padding: 0 $dash_padding; padding: 0 $dash_padding;
.placeholder { .placeholder {