widget: Implement smooth scrolling
Scroll the history (scrollback buffer) by pixels rather than rows. This gives a better user experience especially with touchpads. Also, use the extra area at the bottom (if the window is not grid-aligned) to show some text when scrolling. https://bugzilla.gnome.org/show_bug.cgi?id=746690
parent
ebaf644b
Please register or sign in to comment