Improve slider responsiveness

If you’re dragging the slider, don’t animate the circles just
change their size.