[cinnamon/windowManager] PERF: Batch workspace-switch animations#13421

carsteneu wants to merge 2 commits intolinuxmint:masterlinuxmint/cinnamon:masterfrom

carsteneu:perf/animation-batchingcarsteneu/cinnamon:perf/animation-batchingCopy head branch name to clipboard