window-body-height vs window-text-height

[martin rudalics]

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.

Thanks, martin.