public void PlayAnimation(Animation animation)
{
paused = false;
// If this animation is already running, do not restart it.
if (Animation == animation)
return;
// Start the new animation.
this.animation = animation;
this.frameIndex = 0;
this.time = 0.0f;
this.done = false;
}