Re: window-body-height vs window-text-height

[Stefan Monnier]

>> Can someone tell me the difference between `window-body-height' and
>> `window-text-height'?  It seems a bit confusing having two function do
>> more or less the same thing - but maybe the partial-height lines make
>> the difference.

> If there is a partial line at the bottom of the window,
> window-text-height rounds down, and window-body-height rounds up.
> If there are no fractional lines, both return the same value.

> [In both cases, the number of lines assumes the default face -- neither
> measures what's actually displayed.]

Now I'm confused.  IIUC window sizes can only be multiples of the
default face size, so the number of lines (assuming the default face)
can only be a whole number and can never include partial lines, no?


        Stefan