Improve Scrolling

lovetoxrequested to merge
scrolling into master
  • Remove all use of smooth Scrolling, GTK3 does this by itself when we use the various scroll_to() methods of TextBuffer
  • Simplify Scrolling

Merge request reports