bug#16475: 24.3.50; enhancement request: remove vertical scroll bar automatically when not needed

[Stefan Monnier]

> Anyway, while fiddling a bit, in response to this request on
> StackOverflow:
> http://stackoverflow.com/questions/21175099/how-to-automatically-add-remove-scroll-bars-on-the-fly
[...]
> One thing I notice is that if you shrink the text by scaling it that
> does not seem to be taken into account by the code I tried: even if all

Duh!  Had you followed the link from the above page to 
http://stackoverflow.com/questions/20923655/how-to-test-whether-lines-of-text-are-greater-than-the-window-height
and read my answer in there, you'd know why.


        Stefan