compositor: animate the workspace switching