In windowManager.js, for workspace switch animations, we use Tweener to perform the animation. However, to call the cleanup function after the animation finishes, we use Mainloop.timeout_add instead. This cuases a problem if cinnamon is run with CINNAMON_SLOWDOWN_FACTOR!=1, since the CINNAMON_SLOWDOWN_FACTOR slows down tweening animations but not Mainloop timeouts. The result is that if we have a slowdown factor > 1, the workspace switch animation will be cut before it finishes.
…tion to switch between visual and button modes