Florian Müllner 2bd91e738e workspace: Adjust spacing
Icons are always visible, so in order to not have overlays overlap
with other previews, we need to consider the sum of top- and border
oversizes rather than the maximum.

https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/81

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1605>
2021-02-01 21:06:13 +01:00
..
2020-10-26 04:02:14 +01:00
2020-03-31 05:43:40 +00:00
2019-11-11 19:25:14 +00:00
2020-03-27 10:39:58 +01:00
2021-02-01 21:06:13 +01:00