Florian Müllner 124eb1ca18 workspace: Account for window picker padding
Workspaces are supposed to request the work area as their preferred
size, however the widget will adjust the sizes returned by the
layout manager to account for borders and padding.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1345
2020-07-07 00:06:53 +02:00
..
2020-06-23 16:14:24 +00:00
2020-06-03 12:55:53 -03:00
2020-06-24 18:06:21 -03:00
2020-06-03 12:55:53 -03:00