Florian Müllner a41e294e21 workspaceThumbnails: Remove obsolete property
Since commit f55ff012394, the property has been replaced by
an adjustment.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1611>
2021-02-03 20:19:29 +01:00
..
2020-10-26 04:02:14 +01:00