using window-screen-lines in window-adjust-process-window-size

[John Shahid]

Hi all,

I noticed with line-spacing turned on (i.e. larger than 0) that
`ansi-term' doesn't report the right number of text rows to the shell.
This causes scrolling to get messed up.  It is the result of using
`window-body-height' instead of `window-screen-lines' in
`window-adjust-process-window-size'.  Can anyone think of a reason for
not using `window-screen-lines' ?

Thanks,

JS