From 6f23288124a41cfc5817240391a467a354c26bbc Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Sat, 18 Nov 1995 16:22:42 +0000 Subject: [PATCH] (Fset_text_properties): Call set_properties even if we also merge an interval. --- src/textprop.c | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/src/textprop.c b/src/textprop.c index b071b347508..a4f697810ed 100644 --- a/src/textprop.c +++ b/src/textprop.c @@ -1030,19 +1030,23 @@ is the string or buffer containing the text.") if (LENGTH (i) > len) i = split_interval_left (i, len); - if (NULL_INTERVAL_P (prev_changed)) - set_properties (props, i, object); - else + /* We have to call set_properties even if we are going to + merge the intervals, so as to make the undo records + and cause redisplay to happen. */ + set_properties (props, i, object); + if (!NULL_INTERVAL_P (prev_changed)) merge_interval_left (i); return Qt; } len -= LENGTH (i); + + /* We have to call set_properties even if we are going to + merge the intervals, so as to make the undo records + and cause redisplay to happen. */ + set_properties (props, i, object); if (NULL_INTERVAL_P (prev_changed)) - { - set_properties (props, i, object); - prev_changed = i; - } + prev_changed = i; else prev_changed = i = merge_interval_left (i); -- 2.39.2