diff etc/INTERVIEW @ 36285:df398b248a30

(handle_single_display_prop): Add parameter DISPLAY_REPLACED_BEFORE_P. If it is non-zero ignore display properties which replace the display of text with something else. (handle_display_prop): Call handle_single_display_prop with additional argument saying if we already replaced text display with something else. Use AREF. (with_echo_area_buffer_unwind_data, display_menu_bar) (decode_mode_spec_coding): Use AREF and ASIZE.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 22 Feb 2001 13:25:41 +0000
parents 6b5aacec5ace
children c53a9463c31a
line wrap: on
line diff