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

[Eli Zaretskii]

> From: John Shahid <address@hidden>
> Date: Sat, 27 Apr 2019 06:43:08 -0400
> 
> It has been a while and I haven't heard from anyone.

That might actually mean no one objects to your proposal ;-)

> 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 ?

I think you are on the right track, so please show a patch to do that,
and let's take it from there.

Thanks.