reintroduce animations, but be less annoying than GtkTextView defaults
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).
Showing with 61 additions and 12 deletions