Improve Scrolling
- Remove all use of
smoothScrolling, GTK3 does this by itself when we use the variousscroll_to()methods of TextBuffer - Simplify Scrolling
smooth Scrolling, GTK3 does this by itself when we use the various scroll_to() methods of TextBuffer