theme: Remove background-color from .workspace-background

It's not visible because it's covered by the actual wallpaper, so
not rendering it eliminates most of the render time for
`workspace-background`, without changing its appearance.

When animating the overview by tapping Super, this reduces the
shell's overall render time by about 15%.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1904>
This commit is contained in:
Daniel van Vugt 2021-05-27 17:47:14 +08:00 committed by Marge Bot
parent 6721710932
commit 374a2b2c51

View File

@ -48,6 +48,5 @@ $window_close_button_padding: 3px;
.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);
}