void setAnimationOn(boolean animationOn) {
		// Eval
		boolean wasAnimating = repaintManager.animationOn;
		if (animationOn == wasAnimating)
			return;
		repaintManager.setAnimationOn(animationOn);
	}