Backport default plugin workspace switch animation fixes [40]
Backport of !2076 (merged) and !2120 (merged) to fix the workspace switcher animation in the default plugin.
Backport of !2076 (merged) and !2120 (merged) to fix the workspace switcher animation in the default plugin.