-
Christian Hergert authored
This uses different animation times based on how far we are scrolling. Additionally, we sync to the frame clock of the source view. We also ignore animations if it's going just be really annoying (like a 1 line movement at the top/bottom of the screen, common during key repeat).
6a6a0b9d