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

[John Shahid]

ping

John Shahid <address@hidden> writes:

> 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