windowManager/workspaceAnimation: Fix animation behavior on repeated calls
I was running the workspace animation with slower peace and I've noticed various issues, related to it:
- When moving window to the previous workspace the window is not animated:
- When switching back and forth to a workspace or switching over a new one the animation starts from the wrong point:
I've handled these issues, making the animation progress smooth (see each commit for details):
Edited by Marco Trevisan