void resumeAnimation() {
		// Eval
		if (repaintManager.animationOn) {
			Logger.debug("animation is ON in resumeAnimation");
			return;
		}
		repaintManager.resumeAnimation();
		refresh(0, "Viewer:resumeAnimation()");
	}