diff src/textprop.c @ 13585:dc00b7be6593

(Fset_text_properties): Call set_properties even if we also merge an interval.

--- a/src/textprop.c	Sat Nov 18 16:21:19 1995 +0000
+++ b/src/textprop.c	Sat Nov 18 16:22:42 1995 +0000
@@ -1030,19 +1030,23 @@
 	  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);