# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 740130507 0
# Node ID dea4ce3d7a4de051bf3bc3c51a0a2ed450322cbc
# Parent  7193a99a87c1ab6f79a780a1bf67e130a76cd903
(adjust_intervals_for_insertion): By default, copy
properties from before the insertion.

diff -r 7193a99a87c1 -r dea4ce3d7a4d src/intervals.c
--- a/src/intervals.c	Tue Jun 15 06:26:00 1993 +0000
+++ b/src/intervals.c	Tue Jun 15 07:48:27 1993 +0000
@@ -655,7 +655,7 @@
       /* If both intervals are sticky here, then default to the
          left-most one.  But perhaps we should create a new
 	 interval here instead... */
-      if (END_STICKY_P (prev))
+      if (END_STICKY_P (prev) || ! FRONT_STICKY_P (i))
 	i = prev;
     }