Using window-screen-lines in window-adjust-process-window-size (was: Re: using window-screen-lines in window-adjust-process-window-size)

[John Shahid]

It has been a while and I haven't heard from anyone.  I am not sure if
that's because no one can answer my question or if my previous two
emails were lost in the ether.

I decided to ask a more direct question.  Does anyone object if I
changed window-adjust-process-window-size to use window-screen-lines
instead of window-body-height ?

Cheers,

JS

John Shahid <address@hidden> writes:

> 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