Animated scrolling when inside a file

When using navigation to jump to another position inside a file: Animate the transition to the new place.

This can help with getting an intuitive grasp of the layout of methods inside the file.