Commit 6f232881 authored by Richard M. Stallman's avatar Richard M. Stallman

(Fset_text_properties): Call set_properties

even if we also merge an interval.
parent e0bfbde6
......@@ -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);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment