(signal_after_change): Call report_interval_modification.

diff --git a/src/insdel.c b/src/insdel.c
index cd46d0f4dcf9a0aa8a54b7b27888824315a3a0d6..e68676470075852a37495afa278ebf6e8630aaf3 100644 (file)
--- a/src/insdel.c
+++ b/src/insdel.c
@@ -875,4 +875,9 @@ signal_after_change (pos, lendel, lenins)
                                 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);
 }