(menu-bar-mode 0)
(frame-height)
(frame-pixel-height)
(menu-bar-mode 1)
(frame-height)
(frame-pixel-height)
When executing this sequence, the value returned by frame-pixel-height
is the same in both cases even though the frame size obviously changes
during the process. The manual isn't clear about what the size of the
frame actually includes but since frame-pixel-width includes the border
pixels I'd expect that height does too -- in which case I'll mention
that frame-pixel-height appears not to include the title bar either.