window-pixel-height
window-pixel-height is a built-in function in `C source code
'.
(window-pixel-height &optional WINDOW)
Return the height of window WINDOW in pixels.
WINDOW must be a valid window and defaults to the selected one.
The return value includes the mode line and header line and the bottom
divider, if any. If WINDOW is an internal window, its pixel height is
the height of the screen areas spanned by its children.