Jonas Dreßler 63a96a7111 workspacesView: Take scale factor into account to calculate spacing
This is a statically defined size and we need to adjust for scaleFactor
ourselves, so do that and multiply those two values by the scale factor.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1701>
2021-02-21 16:25:17 +00: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