Re: scrollbar (once more)

[Luc Teirlinck]

Richard Stallman wrote:

          Third line to the top.  Thumb shrinks to expected size.

          Final step of overscrolling: last line to the top.

          The thumb now covers nearly the entire length of the scrollbar,
          because the inaccessible portion all of a sudden starts "counting".


       Both set_vertical_scroll_bar and (window-end) do the wrong thing,
       because they both use the above expression, in which something must be

   I think I have fixed it.  Does this make it work?

Yes, it does.

Sincerely,

Luc.