animated_components/rotation_timer library

Classes

RotationTimer
Digits spin: new value rotates and fades in while old value spins out.