Sebastian Keller 234024c4f4 workspace: Update WorkspaceLayout workarea on changes ... Previously the workarea was only set on construction and then never updated. As a result the preferred width and height as well as the allocation were based on an outdated workarea size when it changed after construction. This for example was happening during the startup animation, for which the WorkspaceLayout is constructed before the panel is shown. This caused the workspace in the overview to be slightly smaller when it is first shown and the overview closing animation to not expand the workspace to the correct size the first time it is closed. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3945 Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3816 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1771>		2021-05-11 02:36:54 +02:00
..
dbusServices	screencastService: Improve the gstreamer pipeline for recording	2021-05-04 13:45:57 +00:00
gdm	gdm: Remove pending fingerprint verification failure	2021-04-28 17:23:01 +00:00
misc	util: Use fade_margins in ensureActorVisibleInScrollView function	2021-04-10 15:20:43 +02:00
perf
portalHelper	js: Require Soup 2.4	2021-02-26 12:28:21 +00:00
ui	workspace: Update WorkspaceLayout workarea on changes	2021-05-11 02:36:54 +02:00
js-resources.gresource.xml	Rename ViewSelector to SearchController	2021-02-11 21:14:36 +00:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml