Re: Gtk scrollbar: thumb too short

[Richard Stallman]

    > I just thought of another alternative.  The thumb could reach the bottom
    > when ZV reaches the bottom of the screen; then, if you overscroll, the
    > thumb would not move.  In other words, overscrolling would not be 
indicated
    > by the thumb.
    > 
    > This is obviously problematical, but I think it is less problematical
    > than the other alternative.

    Um, couldn't it do this only when the thumb actually reaches the minimum
    size?  So for a buffer where the thumb was larger than minimum, you'd
    get the nice shrinking behavior.

If we implement the shrinking behavior ourselves, we could shrink
it as much as we like--we could implement the minimum size as pertaining
to the whole thumb including the part that's off screen.

The question is what to do if that is more work than we want to do.

Yes, we could do what you suggest.