(handle_single_display_prop): Add parameter
commita61b70582c0e93336f87479ac7a83b9cc48a8140
authorGerd Moellmann <gerd@gnu.org>
Thu, 22 Feb 2001 13:26:12 +0000 (22 13:26 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 22 Feb 2001 13:26:12 +0000 (22 13:26 +0000)
tree04a005f7139d386d39391be7d4caf2b2c88aff3f
parent3473f362e6f6f67ac2f0f9db47f49cbc3dae6b87
(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.
src/ChangeLog
src/xdisp.c