Alexander Mikhaylenko b21c8c1290 workspacesView: Round workspace position
Prevent blurring when scrolling workspaces by aligning it to pixel grid,
and be consistent with app grid.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/930
2020-01-11 02:58:19 +05:00
..
2020-01-10 18:20:22 +01:00
2019-12-20 22:58:26 +01:00