Re: Gtk scrollbar: thumb too short

[Stefan Monnier]

> > Could you describe the bug more precisely.  I don't expect the behavior
> > to be perfect, but "doesn't come back" sounds serious (unless you're just
> > talking about the size of the thumb: it only decreases while you drag
> > to avoid nasty "meta-stable" flicker, so the size will only be reset to
> > the proper value when the drag is over).
> 
> I am talking about the size of the thumb. Not only does it not come
> back when dragging (which, while it may be intentional, looks
> very much like a bug), it also doesn't come back after you release,
> until you move the scrollbar again.

Oh, so it's just the "same old".  The first problem is hard to fix,
but the second one should be fixable without too much trouble.


        Stefan