# HG changeset patch
# User Kenichi Handa <handa@m17n.org>
# Date 906983573 0
# Node ID 6df1b016f5fc5f130e24bf768286a4f9739f3d27
# Parent  2da87b489590c8a85b64d8fc77937f784b68ab6f
(adjust_after_replace): Don't delete text properties here.

diff -r 2da87b489590 -r 6df1b016f5fc src/insdel.c
--- a/src/insdel.c	Mon Sep 28 11:52:53 1998 +0000
+++ b/src/insdel.c	Mon Sep 28 11:52:53 1998 +0000
@@ -1656,10 +1656,6 @@
   if (BUF_INTERVALS (current_buffer) != 0)
     {
       offset_intervals (current_buffer, from, len - nchars_del);
-      if (len - nchars_del > 0)
-	Fset_text_properties (make_number (from),
-			      make_number (from + len - nchars_del),
-			      Qnil, Qnil);
     }
 #endif