diff move-if-change @ 43201:b3c0fc949524

(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.
author Kim F. Storm <storm@cua.dk>
date Fri, 08 Feb 2002 23:48:02 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff