changeset 13026:3ff15e408e2c

(signal_after_change): Call report_interval_modification.
author Richard M. Stallman <rms@gnu.org>
date Tue, 12 Sep 1995 17:37:02 +0000
parents 1eab52043f10
children 48358e0fa98e
files src/insdel.c
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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);
 }