Re: Gtk scrollbar: thumb too short

[Owen Taylor <otaylor@redhat.com>]

On Mon, 2003-04-07 at 22:30, Richard Stallman wrote:
>     I don't think there has been a satisfactory explanation of how you
>     are going to deal with minimum size issues; which for some themes
>     occur on quite moderately sized buffers. (As I said earlier, for
>     Red Hat's default theme, the minimum scrollbar thumb size is
>     ~30 pixels)
> 
> I see how the minimum thumb size will sometimes give a misleading idea
> of what fraction of the file is visible.  That can happen even without
> overscrolling, but whether it is a problem is a matter people might
> disagree about.
> 
> Aside form that, what issue is there with minimum size?

The problem I see with a minimum size is that the technique of 
shrinking the thumb to represent overscrolling won't work if the
scrollbar thumb is already at its minimum size.

Regards,
                                         Owen