Support animated and touch scrolling
@debarshir
Submitted by Debarshi Ray Link to original bug (#733210)
Description
In gtk+ 3.13.x GtkScrolledWindow animates the scrolling motion. See:
commit 3dcd0a24b1871c71e667df180334b4b861fbbc52 Author: Matthias Clasen mclasen@redhat.com Date: Mon Jun 30 18:12:39 2014 -0400
GtkScrolledWindow: Enable animated scrolling
We use gtk_adjustment_enable_animation to enable animated
updates of the adjustments. Currently, this is enabled
unconditionally, and with a duration that is hardcoded.
https://bugzilla.gnome.org/show_bug.cgi?id=732376
Touch or thumb scrolling also comes for free with GtkScrolledWindow.
Let's put the VteTerminal widget in a GtkScrolledWindow instead of creating our own vertical GtkScrollbar, so that we don't have to write our own code for these.
Version: git master