[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: window-body-height vs window-text-height
From: |
Drew Adams |
Subject: |
RE: window-body-height vs window-text-height |
Date: |
Tue, 28 Oct 2008 08:11:47 -0700 |
> > 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.]
>
> Aha. Thanks for this information.
Just wondering: Why not just one function, with an additional arg to indicate
the difference?