Re: Fwd: size of the slider bar

[Richard M. Stallman]

      The length of the slider bar, the blue bar that slides inside
    > the scroll bar track (I'm not sure about the terminology) changes
    > randomly as you scroll up and down the text. I'm sure you know that
    > the ratio of the length of this bar to the total length of the scroll
    > bar must represent the ratio between the number of lines in the window
    > to the number of lines in the file.

That would take too long, for large files; he would not like this either,
but he has not realized this would be the price of what he wants.