Ubuntu
gnome-terminal package

  1. Bug #1451924
  2. Comment #3

Comment 3 for bug 1451924

Revision history for this message
In , Rishi-is (rishi-is) wrote :

In gtk+ 3.13.x GtkScrolledWindow animates the scrolling motion. See:

commit 3dcd0a24b1871c71e667df180334b4b861fbbc52
Author: Matthias Clasen <email address hidden>
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.