Re: vertical scroll bar should disappear if everything is displayed

[Richard Stallman]

I have nothing against making the scroll bar thumb disappear, when
that seems like the right thing to do.  It won't alter widths, so it
won't cause any particular problem.