(window_box_height): Use CURRENT_MODE_LINE_FACE_ID.
authorKim F. Storm <storm@cua.dk>
Fri, 8 Feb 2002 23:48:02 +0000 (23:48 +0000)
committerKim F. Storm <storm@cua.dk>
Fri, 8 Feb 2002 23:48:02 +0000 (23:48 +0000)
commit96d2320fdc517502077ef69b39ff8064de9066d2
tree073894f706b75aa2b84436a0026e9080b20ad0bf
parentd191623b30fbfc868a62ccd4e71418b76a4974ab
(window_box_height): Use CURRENT_MODE_LINE_FACE_ID.
(pos_visible_p, handle_face_prop): Likewise.
(display_mode_lines): Likewise, but for the real selected window.
(init_iterator) [row == NULL]: Handle MODE_LINE_INACTIVE_FACE_ID.
src/xdisp.c