diff make-dist @ 34987:cf1115a9c758

(make_cursor_line_fully_visible): Remove unused variable `header_line_height'. (append_space, extend_face_to_end_of_line): Declare `saved_what' enum display_element_type.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 02 Jan 2001 14:24:29 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff