diff mkinstalldirs @ 33462:d8cd8e1bc659

(current_mode_line_height, current_header_line_height): New variables. (init_xdisp): Initialize them. (pos_visible_p): Add parameter EXACT_MODE_LINE_HEIGHTS_P. Compute and use exact mode line heights if it is set.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 14 Nov 2000 05:43:18 +0000
parents 4fe4a165a116
children 774df19dd335
line wrap: on
line diff