[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Gtk scrollbar: thumb too short

From: Richard Stallman
Subject: Re: Gtk scrollbar: thumb too short
Date: Fri, 11 Apr 2003 04:51:32 -0400

    > 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 
    > 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]