Re: vertical scrollbar error on MS Windows

[Stefan Monnier]

>> > Here is another fix for the scrollbars.  From the approach
>> > it calculates the thumb length once on mouse down and
>> > then leaves bar parameters alone during dragging.
>> This approach suffers from the same problems.
> Not shure what you mean, works for me.

The other code works as well.  But there are problems in some circumstances.

BTW, if changing the thumb during drag-scroll causes jitter, an alternative
to "no resize" is to only allow resize in one direction (typically: only
shrink).

>> 2 - make the thumb size "fixed" and arrange that when it hits bottom,
>> then the start of the thumb corresponds to position point-max.

> If you change the start position then you constantly need
> to watch it whether it's still there where you left it off.

No, you don't understand what I mean.  Just change the way thumb positions
are mapped to buffer positions.  Say your scrollbar has size 130, and you
choose thumbsize of 30, then position 0-30 is "window-start == point-min",
and position 100-130 is "window-start == point-max".

> If only there wasn't one more general problem which Xaw 
> (if thats what I figure) does not have because it doesn't 
> have a slider, really. That is with a slider if you can 
> grab it at the lower end, it means you end up pulling 
> below the frame bottom and outside the monitor if the 
> slider gets shorter during dragging. So ...

If I understand correctly what you mean, then the Xaw behavior is exactly
what we want.  That leaves it to the application to decide whether the thumb
can "slide past the end" or not.

A slider that slides past the end is not a problem, really.  You seem to
dislike it, could you explain why?


        Stefan