Re: Gtk scrollbar: thumb too short

[Richard Stallman]

    > The alternative that the thumb reaches the bottom only with maximum
    > overscrolling is bad in several ways.  I explained the problem that we
    > get with a large file such as etc/NEWS: you cannot drag the thumb to
    > see the end of the file.  If the thumb is at the bottom, you see no
    > text.  If the thumb is one pixel up, you are looking at text quite a
    > ways from the end of the file.

    How is different from the native scrollbar?  When I drag the thumb with
    mouse-2 in the native scrollbar to the end, I don't see any text, it has
    been overscrolled out of view.

That sounds like exactly the alternative I am criticizing.