theme/window-picker: Add box-shadow to the workspace background

According to the GNOME 40 mockups, add a box-shadow to the workspace
background. For this to work, we also need a background-color (St
limitations), and to make sure that background-color doesn't bleed over
the rounded corners of the wallpaper, we also need to tell St to use a
border-radius and clip the background-color painting using a rounded
path.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1651>
This commit is contained in:
Jonas Dreßler 2021-02-08 16:43:32 +01:00 committed by Marge Bot
parent 63cf60b731
commit 135c9194cd

View File

@ -44,3 +44,10 @@ $window_close_button_padding: 3px;
background-color: darken($osd_bg_color, 5%);
}
}
.workspace-background {
// keep in sync with BACKGROUND_CORNER_RADIUS_PIXELS in workspace.js
border-radius: 30px;
background-color: $osd_bg_color;
box-shadow: 0 -4px 16px 4px transparentize(darken($osd_bg_color, 30%), 0.7);
}