# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 816711762 0
# Node ID dc00b7be65936082914e9ac6910fb2e4272c641f
# Parent  3daf8244546e54bc734510976e9cb3f77e2ae971
(Fset_text_properties): Call set_properties
even if we also merge an interval.

diff -r 3daf8244546e -r dc00b7be6593 src/textprop.c
--- 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);