Improve Scrolling
- Remove all use of
smooth
Scrolling, 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