Jonas Dreßler 9e8ceeae9d workspace: Actually apply top overlap to the top
The top overlap is accidentally being applied to the left edge right
now, fix that and apply it correctly to the top edge.

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