# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 810927422 0
# Node ID 3ff15e408e2c301c414cadc625afac6ca0cff746
# Parent  1eab52043f10098821faa1ada27ea87fa1d2a827
(signal_after_change): Call report_interval_modification.

diff -r 1eab52043f10 -r 3ff15e408e2c src/insdel.c
--- a/src/insdel.c	Sun Sep 10 19:38:19 1995 +0000
+++ b/src/insdel.c	Tue Sep 12 17:37:02 1995 +0000
@@ -875,4 +875,9 @@
 				 1,
 				 make_number (pos), make_number (pos + lenins),
 				 make_number (lendel));
+
+  /* After an insertion, call the text properties
+     insert-behind-hooks or insert-in-front-hooks.  */
+  if (lendel == 0)
+    report_interval_modification (pos, pos + lenins);
 }