cfc1f1fd9c
Will be used by next commit to draw workspaces at a different size of the background itself. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1599>