(fix_submap_inheritance, get_keyelt, store_in_keymap,
[bpt/emacs.git] / src / insdel.c
index d368cd8..e2223f1 100644 (file)
@@ -1,11 +1,11 @@
 /* Buffer insertion/deletion and gap motion for GNU Emacs.
 /* Buffer insertion/deletion and gap motion for GNU Emacs.
-   Copyright (C) 1985, 1986, 1993, 1994 Free Software Foundation, Inc.
+   Copyright (C) 1985, 86, 93, 94, 95, 97, 1998 Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
 GNU Emacs is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 
 This file is part of GNU Emacs.
 
 GNU Emacs is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 1, or (at your option)
+the Free Software Foundation; either version 2, or (at your option)
 any later version.
 
 GNU Emacs is distributed in the hope that it will be useful,
 any later version.
 
 GNU Emacs is distributed in the hope that it will be useful,
@@ -15,69 +15,113 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with GNU Emacs; see the file COPYING.  If not, write to
 
 You should have received a copy of the GNU General Public License
 along with GNU Emacs; see the file COPYING.  If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
 
 
 #include <config.h>
 #include "lisp.h"
 #include "intervals.h"
 #include "buffer.h"
 
 
 #include <config.h>
 #include "lisp.h"
 #include "intervals.h"
 #include "buffer.h"
+#include "charset.h"
 #include "window.h"
 #include "blockinput.h"
 
 #include "window.h"
 #include "blockinput.h"
 
-static void insert_1 ();
-static void insert_from_string_1 ();
-static void gap_left ();
-static void gap_right ();
-static void adjust_markers ();
-static void adjust_point ();
+#ifndef NULL
+#define NULL 0
+#endif
+
+#define min(x, y) ((x) < (y) ? (x) : (y))
+
+static void insert_from_string_1 P_ ((Lisp_Object, int, int, int, int, int, int));
+static void insert_from_buffer_1 ();
+static void gap_left P_ ((int, int, int));
+static void gap_right P_ ((int, int));
+static void adjust_markers_gap_motion P_ ((int, int, int));
+static void adjust_markers_for_insert P_ ((int, int, int, int, int, int, int));
+static void adjust_markers_for_delete P_ ((int, int, int, int));
+static void adjust_markers_for_record_delete P_ ((int, int, int, int));
+static void adjust_point P_ ((int, int));
+
+Lisp_Object Fcombine_after_change_execute ();
+
+/* Non-nil means don't call the after-change-functions right away,
+   just record an element in Vcombine_after_change_calls_list.  */
+Lisp_Object Vcombine_after_change_calls;
+
+/* List of elements of the form (BEG-UNCHANGED END-UNCHANGED CHANGE-AMOUNT)
+   describing changes which happened while combine_after_change_calls
+   was nonzero.  We use this to decide how to call them
+   once the deferral ends.
+
+   In each element.
+   BEG-UNCHANGED is the number of chars before the changed range.
+   END-UNCHANGED is the number of chars after the changed range,
+   and CHANGE-AMOUNT is the number of characters inserted by the change
+   (negative for a deletion).  */
+Lisp_Object combine_after_change_list;
+
+/* Buffer which combine_after_change_list is about.  */
+Lisp_Object combine_after_change_buffer;
+\f
+/* Move gap to position CHARPOS.
+   Note that this can quit!  */
+
+void
+move_gap (charpos)
+     int charpos;
+{
+  move_gap_both (charpos, charpos_to_bytepos (charpos));
+}
 
 
-/* Move gap to position `pos'.
+/* Move gap to byte position BYTEPOS, which is also char position CHARPOS.
    Note that this can quit!  */
 
    Note that this can quit!  */
 
-move_gap (pos)
-     int pos;
+void
+move_gap_both (charpos, bytepos)
+     int charpos, bytepos;
 {
 {
-  if (pos < GPT)
-    gap_left (pos, 0);
-  else if (pos > GPT)
-    gap_right (pos);
+  if (bytepos < GPT_BYTE)
+    gap_left (charpos, bytepos, 0);
+  else if (bytepos > GPT_BYTE)
+    gap_right (charpos, bytepos);
 }
 
 }
 
-/* Move the gap to POS, which is less than the current GPT.
+/* Move the gap to a position less than the current GPT.
+   BYTEPOS describes the new position as a byte position,
+   and CHARPOS is the corresponding char position.
    If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged.  */
 
 static void
    If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged.  */
 
 static void
-gap_left (pos, newgap)
-     register int pos;
+gap_left (charpos, bytepos, newgap)
+     register int charpos, bytepos;
      int newgap;
 {
   register unsigned char *to, *from;
   register int i;
   int new_s1;
 
      int newgap;
 {
   register unsigned char *to, *from;
   register int i;
   int new_s1;
 
-  pos--;
-
   if (!newgap)
     {
   if (!newgap)
     {
-      if (unchanged_modified == MODIFF)
+      if (unchanged_modified == MODIFF
+         && overlay_unchanged_modified == OVERLAY_MODIFF)
        {
        {
-         beg_unchanged = pos;
-         end_unchanged = Z - pos - 1;
+         beg_unchanged = charpos - BEG;
+         end_unchanged = Z - charpos;
        }
       else
        {
          if (Z - GPT < end_unchanged)
            end_unchanged = Z - GPT;
        }
       else
        {
          if (Z - GPT < end_unchanged)
            end_unchanged = Z - GPT;
-         if (pos < beg_unchanged)
-           beg_unchanged = pos;
+         if (charpos < beg_unchanged)
+           beg_unchanged = charpos - BEG;
        }
     }
 
        }
     }
 
-  i = GPT;
+  i = GPT_BYTE;
   to = GAP_END_ADDR;
   from = GPT_ADDR;
   to = GAP_END_ADDR;
   from = GPT_ADDR;
-  new_s1 = GPT - BEG;
+  new_s1 = GPT_BYTE;
 
   /* Now copy the characters.  To move the gap down,
      copy characters up.  */
 
   /* Now copy the characters.  To move the gap down,
      copy characters up.  */
@@ -85,14 +129,15 @@ gap_left (pos, newgap)
   while (1)
     {
       /* I gets number of characters left to copy.  */
   while (1)
     {
       /* I gets number of characters left to copy.  */
-      i = new_s1 - pos;
+      i = new_s1 - bytepos;
       if (i == 0)
        break;
       /* If a quit is requested, stop copying now.
       if (i == 0)
        break;
       /* If a quit is requested, stop copying now.
-        Change POS to be where we have actually moved the gap to.  */
+        Change BYTEPOS to be where we have actually moved the gap to.  */
       if (QUITP)
        {
       if (QUITP)
        {
-         pos = new_s1;
+         bytepos = new_s1;
+         charpos = BYTE_TO_CHAR (bytepos);
          break;
        }
       /* Move at most 32000 chars before checking again for a quit.  */
          break;
        }
       /* Move at most 32000 chars before checking again for a quit.  */
@@ -122,41 +167,48 @@ gap_left (pos, newgap)
        }
     }
 
        }
     }
 
-  /* Adjust markers, and buffer data structure, to put the gap at POS.
-     POS is where the loop above stopped, which may be what was specified
+  /* Adjust markers, and buffer data structure, to put the gap at BYTEPOS.
+     BYTEPOS is where the loop above stopped, which may be what was specified
      or may be where a quit was detected.  */
      or may be where a quit was detected.  */
-  adjust_markers (pos + 1, GPT, GAP_SIZE);
-  GPT = pos + 1;
+  adjust_markers_gap_motion (bytepos, GPT_BYTE, GAP_SIZE);
+  GPT_BYTE = bytepos;
+  GPT = charpos;
+  if (bytepos < charpos)
+    abort ();
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor.  */
   QUIT;
 }
 
   QUIT;
 }
 
+/* Move the gap to a position greater than than the current GPT.
+   BYTEPOS describes the new position as a byte position,
+   and CHARPOS is the corresponding char position.  */
+
 static void
 static void
-gap_right (pos)
-     register int pos;
+gap_right (charpos, bytepos)
+     register int charpos, bytepos;
 {
   register unsigned char *to, *from;
   register int i;
   int new_s1;
 
 {
   register unsigned char *to, *from;
   register int i;
   int new_s1;
 
-  pos--;
-
-  if (unchanged_modified == MODIFF)
+  if (unchanged_modified == MODIFF
+      && overlay_unchanged_modified == OVERLAY_MODIFF)
     {
     {
-      beg_unchanged = pos;
-      end_unchanged = Z - pos - 1;
+      beg_unchanged = charpos - BEG;
+      end_unchanged = Z - charpos;
     }
   else
     {
     }
   else
     {
-      if (Z - pos - 1 < end_unchanged)
-       end_unchanged = Z - pos - 1;
+      if (Z - charpos - 1 < end_unchanged)
+       end_unchanged = Z - charpos;
       if (GPT - BEG < beg_unchanged)
        beg_unchanged = GPT - BEG;
     }
 
       if (GPT - BEG < beg_unchanged)
        beg_unchanged = GPT - BEG;
     }
 
-  i = GPT;
+  i = GPT_BYTE;
   from = GAP_END_ADDR;
   to = GPT_ADDR;
   from = GAP_END_ADDR;
   to = GPT_ADDR;
-  new_s1 = GPT - 1;
+  new_s1 = GPT_BYTE;
 
   /* Now copy the characters.  To move the gap up,
      copy characters down.  */
 
   /* Now copy the characters.  To move the gap up,
      copy characters down.  */
@@ -164,14 +216,15 @@ gap_right (pos)
   while (1)
     {
       /* I gets number of characters left to copy.  */
   while (1)
     {
       /* I gets number of characters left to copy.  */
-      i = pos - new_s1;
+      i = bytepos - new_s1;
       if (i == 0)
        break;
       /* If a quit is requested, stop copying now.
       if (i == 0)
        break;
       /* If a quit is requested, stop copying now.
-        Change POS to be where we have actually moved the gap to.  */
+        Change BYTEPOS to be where we have actually moved the gap to.  */
       if (QUITP)
        {
       if (QUITP)
        {
-         pos = new_s1;
+         bytepos = new_s1;
+         charpos = BYTE_TO_CHAR (bytepos);
          break;
        }
       /* Move at most 32000 chars before checking again for a quit.  */
          break;
        }
       /* Move at most 32000 chars before checking again for a quit.  */
@@ -201,300 +254,1469 @@ gap_right (pos)
        }
     }
 
        }
     }
 
-  adjust_markers (GPT + GAP_SIZE, pos + 1 + GAP_SIZE, - GAP_SIZE);
-  GPT = pos + 1;
+  adjust_markers_gap_motion (GPT_BYTE + GAP_SIZE, bytepos + GAP_SIZE,
+                            - GAP_SIZE);
+  GPT = charpos;
+  GPT_BYTE = bytepos;
+  if (bytepos < charpos)
+    abort ();
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor.  */
   QUIT;
 }
   QUIT;
 }
+\f
+/* Add AMOUNT to the byte position of every marker in the current buffer
+   whose current byte position is between FROM (exclusive) and TO (inclusive).
 
 
-/* Add `amount' to the position of every marker in the current buffer
-   whose current position is between `from' (exclusive) and `to' (inclusive).
    Also, any markers past the outside of that interval, in the direction
    of adjustment, are first moved back to the near end of the interval
    Also, any markers past the outside of that interval, in the direction
    of adjustment, are first moved back to the near end of the interval
-   and then adjusted by `amount'.  */
+   and then adjusted by AMOUNT.
+
+   When the latter adjustment is done, if AMOUNT is negative,
+   we record the adjustment for undo.  (This case happens only for
+   deletion.)
+
+   The markers' character positions are not altered,
+   because gap motion does not affect character positions.  */
+
+int adjust_markers_test;
 
 static void
 
 static void
-adjust_markers (from, to, amount)
+adjust_markers_gap_motion (from, to, amount)
      register int from, to, amount;
 {
      register int from, to, amount;
 {
+  /* Now that a marker has a bytepos, not counting the gap,
+     nothing needs to be done here.  */
+#if 0
   Lisp_Object marker;
   register struct Lisp_Marker *m;
   register int mpos;
 
   Lisp_Object marker;
   register struct Lisp_Marker *m;
   register int mpos;
 
-  marker = current_buffer->markers;
+  marker = BUF_MARKERS (current_buffer);
 
   while (!NILP (marker))
     {
       m = XMARKER (marker);
 
   while (!NILP (marker))
     {
       m = XMARKER (marker);
-      mpos = m->bufpos;
+      mpos = m->bytepos;
       if (amount > 0)
        {
          if (mpos > to && mpos < to + amount)
       if (amount > 0)
        {
          if (mpos > to && mpos < to + amount)
-           mpos = to + amount;
+           {
+             if (adjust_markers_test)
+               abort ();
+             mpos = to + amount;
+           }
        }
       else
        {
        }
       else
        {
+         /* Here's the case where a marker is inside text being deleted.
+            AMOUNT can be negative for gap motion, too,
+            but then this range contains no markers.  */
          if (mpos > from + amount && mpos <= from)
          if (mpos > from + amount && mpos <= from)
-           mpos = from + amount;
+           {
+             if (adjust_markers_test)
+               abort ();
+             mpos = from + amount;
+           }
        }
       if (mpos > from && mpos <= to)
        mpos += amount;
       m->bufpos = mpos;
       marker = m->chain;
     }
        }
       if (mpos > from && mpos <= to)
        mpos += amount;
       m->bufpos = mpos;
       marker = m->chain;
     }
+#endif
 }
 }
+\f
+/* Adjust all markers for a deletion
+   whose range in bytes is FROM_BYTE to TO_BYTE.
+   The range in charpos is FROM to TO.
+
+   This function assumes that the gap is adjacent to
+   or inside of the range being deleted.  */
 
 
-/* Add the specified amount to point.  This is used only when the value
-   of point changes due to an insert or delete; it does not represent
-   a conceptual change in point as a marker.  In particular, point is
-   not crossing any interval boundaries, so there's no need to use the
-   usual SET_PT macro.  In fact it would be incorrect to do so, because
-   either the old or the new value of point is out of synch with the
-   current set of intervals.  */
 static void
 static void
-adjust_point (amount)
+adjust_markers_for_delete (from, from_byte, to, to_byte)
+     register int from, from_byte, to, to_byte;
 {
 {
-  current_buffer->text.pt += amount;
+  Lisp_Object marker;
+  register struct Lisp_Marker *m;
+  register int charpos;
+
+  marker = BUF_MARKERS (current_buffer);
+
+  while (!NILP (marker))
+    {
+      m = XMARKER (marker);
+      charpos = m->charpos;
+
+      if (charpos > Z)
+       abort ();
+
+      /* If the marker is after the deletion,
+        relocate by number of chars / bytes deleted.  */
+      if (charpos > to)
+       {
+         m->charpos -= to - from;
+         m->bytepos -= to_byte - from_byte;
+       }
+
+      /* Here's the case where a marker is inside text being deleted.  */
+      else if (charpos > from)
+       {
+         record_marker_adjustment (marker, from - charpos);
+         m->charpos = from;
+         m->bytepos = from_byte;
+       }
+
+      marker = m->chain;
+    }
 }
 \f
 }
 \f
-/* Make the gap INCREMENT characters longer.  */
+/* Adjust all markers for calling record_delete for combining bytes.
+   whose range in bytes is FROM_BYTE to TO_BYTE.
+   The range in charpos is FROM to TO.  */
 
 
-make_gap (increment)
-     int increment;
+static void
+adjust_markers_for_record_delete (from, from_byte, to, to_byte)
+     register int from, from_byte, to, to_byte;
+{
+  Lisp_Object marker;
+  register struct Lisp_Marker *m;
+  register int charpos;
+
+  marker = BUF_MARKERS (current_buffer);
+
+  while (!NILP (marker))
+    {
+      m = XMARKER (marker);
+      charpos = m->charpos;
+
+      /* If the marker is after the deletion,
+        relocate by number of chars / bytes deleted.  */
+      if (charpos > to)
+       ;
+      /* Here's the case where a marker is inside text being deleted.  */
+      else if (charpos > from)
+       record_marker_adjustment (marker, from - charpos);
+
+      marker = m->chain;
+    }
+}
+\f
+/* Adjust markers for an insertion that stretches from FROM / FROM_BYTE
+   to TO / TO_BYTE.  We have to relocate the charpos of every marker
+   that points after the insertion (but not their bytepos).
+
+   COMBINED_BEFORE_BYTES is the number of bytes at the start of the insertion
+   that combine into one character with the text before the insertion.
+   COMBINED_AFTER_BYTES is the number of bytes after the insertion
+   that combine into one character with the last inserted bytes.
+
+   When a marker points at the insertion point,
+   we advance it if either its insertion-type is t
+   or BEFORE_MARKERS is true.  */
+
+static void
+adjust_markers_for_insert (from, from_byte, to, to_byte,
+                          combined_before_bytes, combined_after_bytes,
+                          before_markers)
+     register int from, from_byte, to, to_byte;
+     int combined_before_bytes, combined_after_bytes, before_markers;
+{
+  Lisp_Object marker;
+  int adjusted = 0;
+  int nchars = to - from;
+  int nbytes = to_byte - from_byte;
+
+  marker = BUF_MARKERS (current_buffer);
+
+  while (!NILP (marker))
+    {
+      register struct Lisp_Marker *m = XMARKER (marker);
+
+      /* In a single-byte buffer, a marker's two positions must be equal.
+        (If this insertion is going to combine characters, Z will
+        become different from Z_BYTE, but they might be the same now.
+        If so, the two OLD positions of the marker should be equal.)  */
+      if (Z == Z_BYTE)
+       {
+         if (m->charpos != m->bytepos)
+           abort ();
+       }
+
+      if (m->bytepos == from_byte)
+       {
+         if (m->insertion_type || before_markers)
+           {
+             m->bytepos += nbytes + combined_after_bytes;
+             m->charpos += nchars + !!combined_after_bytes;
+             /* Point the marker before the combined character,
+                so that undoing the insertion puts it back where it was.  */
+             if (combined_after_bytes)
+               DEC_BOTH (m->charpos, m->bytepos);
+             if (m->insertion_type)
+               adjusted = 1;
+           }
+         else if (combined_before_bytes)
+           {
+             /* This marker doesn't "need relocation",
+                but don't leave it pointing in the middle of a character.
+                Point the marker after the combined character,
+                so that undoing the insertion puts it back where it was.  */
+
+             /* Here we depend on the fact that the gap is after
+                all of the combining bytes that we are going to skip over.  */
+             DEC_BOTH (m->charpos, m->bytepos);
+             INC_BOTH (m->charpos, m->bytepos);
+           }
+       }
+      /* If a marker was pointing into the combining bytes
+        after the insertion, don't leave it there
+        in the middle of a character.  */
+      else if (combined_after_bytes && m->bytepos >= from_byte
+              && m->bytepos < from_byte + combined_after_bytes)
+       {
+         /* Put it after the combining bytes.  */
+         m->bytepos = to_byte + combined_after_bytes;
+         m->charpos = to + 1;
+         /* Now move it back before the combined character,
+            so that undoing the insertion will put it where it was.  */
+         DEC_BOTH (m->charpos, m->bytepos);
+       }
+      else if (m->bytepos > from_byte)
+       {
+         m->bytepos += nbytes;
+         m->charpos += nchars;
+       }
+
+      marker = m->chain;
+    }
+
+  /* Adjusting only markers whose insertion-type is t may result in
+     disordered overlays in the slot `overlays_before'.  */
+  if (adjusted)
+    fix_overlays_before (current_buffer, from, to);
+}
+
+/* Adjust point for an insertion of NBYTES bytes, which are NCHARS characters.
+
+   This is used only when the value of point changes due to an insert
+   or delete; it does not represent a conceptual change in point as a
+   marker.  In particular, point is not crossing any interval
+   boundaries, so there's no need to use the usual SET_PT macro.  In
+   fact it would be incorrect to do so, because either the old or the
+   new value of point is out of sync with the current set of
+   intervals.  */
+
+static void
+adjust_point (nchars, nbytes)
+     int nchars, nbytes;
+{
+  BUF_PT (current_buffer) += nchars;
+  BUF_PT_BYTE (current_buffer) += nbytes;
+
+  /* In a single-byte buffer, the two positions must be equal.  */
+  if (ZV == ZV_BYTE
+      && PT != PT_BYTE)
+    abort ();
+}
+\f
+/* Make the gap NBYTES_ADDED bytes longer.  */
+
+void
+make_gap (nbytes_added)
+     int nbytes_added;
 {
   unsigned char *result;
   Lisp_Object tem;
   int real_gap_loc;
 {
   unsigned char *result;
   Lisp_Object tem;
   int real_gap_loc;
+  int real_gap_loc_byte;
   int old_gap_size;
 
   /* If we have to get more space, get enough to last a while.  */
   int old_gap_size;
 
   /* If we have to get more space, get enough to last a while.  */
-  increment += 2000;
+  nbytes_added += 2000;
+
+  /* Don't allow a buffer size that won't fit in an int
+     even if it will fit in a Lisp integer.
+     That won't work because so many places use `int'.  */
+     
+  if (Z_BYTE - BEG_BYTE + GAP_SIZE + nbytes_added
+      >= ((unsigned) 1 << (min (BITS_PER_INT, VALBITS) - 1)))
+    error ("Buffer exceeds maximum size");
 
   BLOCK_INPUT;
 
   BLOCK_INPUT;
-  result = BUFFER_REALLOC (BEG_ADDR, (Z - BEG + GAP_SIZE + increment));
-  UNBLOCK_INPUT;
+  /* We allocate extra 1-byte `\0' at the tail for anchoring a search.  */
+  result = BUFFER_REALLOC (BEG_ADDR, (Z_BYTE - BEG_BYTE
+                                     + GAP_SIZE + nbytes_added + 1));
 
   if (result == 0)
 
   if (result == 0)
-    memory_full ();
+    {
+      UNBLOCK_INPUT;
+      memory_full ();
+    }
+
+  /* We can't unblock until the new address is properly stored.  */
   BEG_ADDR = result;
   BEG_ADDR = result;
+  UNBLOCK_INPUT;
 
   /* Prevent quitting in move_gap.  */
   tem = Vinhibit_quit;
   Vinhibit_quit = Qt;
 
   real_gap_loc = GPT;
 
   /* Prevent quitting in move_gap.  */
   tem = Vinhibit_quit;
   Vinhibit_quit = Qt;
 
   real_gap_loc = GPT;
+  real_gap_loc_byte = GPT_BYTE;
   old_gap_size = GAP_SIZE;
 
   /* Call the newly allocated space a gap at the end of the whole space.  */
   GPT = Z + GAP_SIZE;
   old_gap_size = GAP_SIZE;
 
   /* Call the newly allocated space a gap at the end of the whole space.  */
   GPT = Z + GAP_SIZE;
-  GAP_SIZE = increment;
+  GPT_BYTE = Z_BYTE + GAP_SIZE;
+  GAP_SIZE = nbytes_added;
 
   /* Move the new gap down to be consecutive with the end of the old one.
      This adjusts the markers properly too.  */
 
   /* Move the new gap down to be consecutive with the end of the old one.
      This adjusts the markers properly too.  */
-  gap_left (real_gap_loc + old_gap_size, 1);
+  gap_left (real_gap_loc + old_gap_size, real_gap_loc_byte + old_gap_size, 1);
 
   /* Now combine the two into one large gap.  */
   GAP_SIZE += old_gap_size;
   GPT = real_gap_loc;
 
   /* Now combine the two into one large gap.  */
   GAP_SIZE += old_gap_size;
   GPT = real_gap_loc;
+  GPT_BYTE = real_gap_loc_byte;
+
+  /* Put an anchor.  */
+  *(Z_ADDR) = 0;
 
   Vinhibit_quit = tem;
 }
 \f
 
   Vinhibit_quit = tem;
 }
 \f
+/* Copy NBYTES bytes of text from FROM_ADDR to TO_ADDR.
+   FROM_MULTIBYTE says whether the incoming text is multibyte.
+   TO_MULTIBYTE says whether to store the text as multibyte.
+   If FROM_MULTIBYTE != TO_MULTIBYTE, we convert.
+
+   Return the number of bytes stored at TO_ADDR.  */
+
+int
+copy_text (from_addr, to_addr, nbytes,
+          from_multibyte, to_multibyte)
+     unsigned char *from_addr;
+     unsigned char *to_addr;
+     int nbytes;
+     int from_multibyte, to_multibyte;
+{
+  if (from_multibyte == to_multibyte)
+    {
+      bcopy (from_addr, to_addr, nbytes);
+      return nbytes;
+    }
+  else if (from_multibyte)
+    {
+      int nchars = 0;
+      int bytes_left = nbytes;
+
+      /* Convert multibyte to single byte.  */
+      while (bytes_left > 0)
+       {
+         int thislen, c;
+         c = STRING_CHAR_AND_LENGTH (from_addr, bytes_left, thislen);
+         *to_addr++ = SINGLE_BYTE_CHAR_P (c) ? c : (c & 0177) + 0200;
+         from_addr += thislen;
+         bytes_left--;
+         nchars++;
+       }
+      return nchars;
+    }
+  else
+    {
+      unsigned char *initial_to_addr = to_addr;
+
+      /* Convert single-byte to multibyte.  */
+      while (nbytes > 0)
+       {
+         int c = *from_addr++;
+         unsigned char workbuf[4], *str;
+         int len;
+
+         if (c >= 0240 && c < 0400)
+           {
+             c = unibyte_char_to_multibyte (c);
+             len = CHAR_STRING (c, workbuf, str);
+             bcopy (str, to_addr, len);
+             to_addr += len;
+             nbytes--;
+           }
+         else
+           /* Special case for speed.  */
+           *to_addr++ = c, nbytes--;
+       }
+      return to_addr - initial_to_addr;
+    }
+}
+
+/* Return the number of bytes it would take
+   to convert some single-byte text to multibyte.
+   The single-byte text consists of NBYTES bytes at PTR.  */
+
+int
+count_size_as_multibyte (ptr, nbytes)
+     unsigned char *ptr;
+     int nbytes;
+{
+  int i;
+  int outgoing_nbytes = 0;
+
+  for (i = 0; i < nbytes; i++)
+    {
+      unsigned int c = *ptr++;
+
+      if (c < 0240)
+       outgoing_nbytes++;
+      else
+       {
+         c = unibyte_char_to_multibyte (c);
+         outgoing_nbytes += XINT (Fchar_bytes (make_number (c)));
+       }
+    }
+
+  return outgoing_nbytes;
+}
+\f
 /* Insert a string of specified length before point.
 /* Insert a string of specified length before point.
-   DO NOT use this for the contents of a Lisp string!
-   prepare_to_modify_buffer could relocate the string.  */
+   This function judges multibyteness based on
+   enable_multibyte_characters in the current buffer;
+   it never converts between single-byte and multibyte.
+
+   DO NOT use this for the contents of a Lisp string or a Lisp buffer!
+   prepare_to_modify_buffer could relocate the text.  */
 
 
-insert (string, length)
+void
+insert (string, nbytes)
      register unsigned char *string;
      register unsigned char *string;
-     register length;
+     register nbytes;
 {
 {
-  if (length > 0)
+  if (nbytes > 0)
     {
     {
-      insert_1 (string, length, 0);
-      signal_after_change (PT-length, 0, length);
+      int opoint = PT;
+      insert_1 (string, nbytes, 0, 1, 0);
+      signal_after_change (opoint, 0, PT - opoint);
     }
 }
 
     }
 }
 
-insert_and_inherit (string, length)
+/* Likewise, but inherit text properties from neighboring characters.  */
+
+void
+insert_and_inherit (string, nbytes)
      register unsigned char *string;
      register unsigned char *string;
-     register length;
+     register nbytes;
 {
 {
-  if (length > 0)
+  if (nbytes > 0)
     {
     {
-      insert_1 (string, length, 1);
-      signal_after_change (PT-length, 0, length);
+      int opoint = PT;
+      insert_1 (string, nbytes, 1, 1, 0);
+      signal_after_change (opoint, 0, PT - opoint);
     }
 }
 
     }
 }
 
-static void
-insert_1 (string, length, inherit)
+/* Insert the character C before point.  Do not inherit text properties.  */
+
+void
+insert_char (c)
+     int c;
+{
+  unsigned char workbuf[4], *str;
+  int len;
+
+  if (! NILP (current_buffer->enable_multibyte_characters))
+    len = CHAR_STRING (c, workbuf, str);
+  else
+    {
+      len = 1;
+      workbuf[0] = c;
+      str = workbuf;
+    }
+
+  insert (str, len);
+}
+
+/* Insert the null-terminated string S before point.  */
+
+void
+insert_string (s)
+     char *s;
+{
+  insert (s, strlen (s));
+}
+
+/* Like `insert' except that all markers pointing at the place where
+   the insertion happens are adjusted to point after it.
+   Don't use this function to insert part of a Lisp string,
+   since gc could happen and relocate it.  */
+
+void
+insert_before_markers (string, nbytes)
+     unsigned char *string;
+     register int nbytes;
+{
+  if (nbytes > 0)
+    {
+      int opoint = PT;
+
+      insert_1 (string, nbytes, 0, 1, 1);
+      signal_after_change (opoint, 0, PT - opoint);
+    }
+}
+
+/* Likewise, but inherit text properties from neighboring characters.  */
+
+void
+insert_before_markers_and_inherit (string, nbytes)
+     unsigned char *string;
+     register int nbytes;
+{
+  if (nbytes > 0)
+    {
+      int opoint = PT;
+
+      insert_1 (string, nbytes, 1, 1, 1);
+      signal_after_change (opoint, 0, PT - opoint);
+    }
+}
+
+/* Subroutine used by the insert functions above.  */
+
+void
+insert_1 (string, nbytes, inherit, prepare, before_markers)
      register unsigned char *string;
      register unsigned char *string;
-     register length;
-     int inherit;
+     register int nbytes;
+     int inherit, prepare, before_markers;
 {
 {
-  register Lisp_Object temp;
+  insert_1_both (string, chars_in_text (string, nbytes), nbytes,
+                inherit, prepare, before_markers);
+}
+\f
+/* See if the bytes before POS/POS_BYTE combine with bytes
+   at the start of STRING to form a single character.
+   If so, return the number of bytes at the start of STRING
+   which combine in this way.  Otherwise, return 0.  */
 
 
-  /* Make sure point-max won't overflow after this insertion.  */
-  XSET (temp, Lisp_Int, length + Z);
-  if (length + Z != XINT (temp))
-    error ("maximum buffer size exceeded");
+int
+count_combining_before (string, length, pos, pos_byte)
+     unsigned char *string;
+     int length;
+     int pos, pos_byte;
+{
+  int opos = pos, opos_byte = pos_byte;
+  int c;
+  unsigned char *p = string;
+
+  if (NILP (current_buffer->enable_multibyte_characters))
+    return 0;
+  if (length == 0 || CHAR_HEAD_P (*string))
+    return 0;
+  if (pos == BEGV)
+    return 0;
+  c = FETCH_BYTE (pos_byte - 1);
+  if (ASCII_BYTE_P (c))
+    return 0;
+  DEC_BOTH (pos, pos_byte);
+  c = FETCH_BYTE (pos_byte);
+  if (! BASE_LEADING_CODE_P (c))
+    return 0;
+
+  /* We have a combination situation.
+     Count the bytes at STRING that will combine.  */
+  while (!CHAR_HEAD_P (*p) && p < string + length)
+    p++;
+
+  return p - string;
+}
+
+/* See if the bytes after POS/POS_BYTE combine with bytes
+   at the end of STRING to form a single character.
+   If so, return the number of bytes after POS/POS_BYTE
+   which combine in this way.  Otherwise, return 0.  */
+
+int
+count_combining_after (string, length, pos, pos_byte)
+     unsigned char *string;
+     int length;
+     int pos, pos_byte;
+{
+  int opos = pos, opos_byte = pos_byte;
+  int i;
+  int c;
+
+  if (NILP (current_buffer->enable_multibyte_characters))
+    return 0;
+  if (length == 0 || ASCII_BYTE_P (string[length - 1]))
+    return 0;
+  i = length - 1;
+  while (i > 0 && ! CHAR_HEAD_P (string[i]))
+    {
+      i--;
+    }
+  if (! BASE_LEADING_CODE_P (string[i]))
+    return 0;
+
+  if (pos == ZV)
+    return 0;
+  c = FETCH_BYTE (pos_byte);
+  if (CHAR_HEAD_P (c))
+    return 0;
+  while (pos_byte < ZV_BYTE)
+    {
+      c = FETCH_BYTE (pos_byte);
+      if (CHAR_HEAD_P (c))
+       break;
+      pos_byte++;
+    }
+
+  return pos_byte - opos_byte;
+}
+
+/* Adjust the position TARGET/TARGET_BYTE for the combining of NBYTES
+   following the position POS/POS_BYTE to the character preceding POS.
+   If TARGET is after POS+NBYTES, we only have to adjust the character
+   position TARGET, else, if TARGET is after POS, we have to adjust
+   both the character position TARGET and the byte position
+   TARGET_BYTE, else we don't have to do any adjustment.  */
+
+#define ADJUST_CHAR_POS(target, target_byte)   \
+  do {                                         \
+    if (target > pos + nbytes)                 \
+      target -= nbytes;                                \
+    else if (target >= pos)                    \
+      {                                                \
+       target = pos;                           \
+       target_byte = pos_byte + nbytes;        \
+      }                                                \
+  } while (0)
+
+/* Combine NBYTES stray trailing-codes, which were formerly separate
+   characters, with the preceding character.  These bytes
+   are located after position POS / POS_BYTE, and the preceding character
+   is located just before that position.  */
+
+static void
+combine_bytes (pos, pos_byte, nbytes)
+     int pos, pos_byte, nbytes;
+{
+  /* Adjust all markers.  */
+  adjust_markers_for_delete (pos, pos_byte, pos + nbytes, pos_byte);
+
+  adjust_overlays_for_delete (pos, nbytes);
+
+  ADJUST_CHAR_POS (BUF_PT (current_buffer), BUF_PT_BYTE (current_buffer));
+  ADJUST_CHAR_POS (GPT, GPT_BYTE);
+  ADJUST_CHAR_POS (Z, Z_BYTE);
+  ADJUST_CHAR_POS (ZV, ZV_BYTE);
+
+  if (BUF_INTERVALS (current_buffer) != 0)
+    /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES.  */
+    offset_intervals (current_buffer, pos, - nbytes);
+}
+\f
+/* Insert a sequence of NCHARS chars which occupy NBYTES bytes
+   starting at STRING.  INHERIT, PREPARE and BEFORE_MARKERS
+   are the same as in insert_1.  */
+
+void
+insert_1_both (string, nchars, nbytes, inherit, prepare, before_markers)
+     register unsigned char *string;
+     register int nchars, nbytes;
+     int inherit, prepare, before_markers;
+{
+  register Lisp_Object temp, deletion;
+  int combined_before_bytes, combined_after_bytes;
 
 
-  prepare_to_modify_buffer (PT, PT);
+  if (NILP (current_buffer->enable_multibyte_characters))
+    nchars = nbytes;
 
   if (PT != GPT)
 
   if (PT != GPT)
-    move_gap (PT);
-  if (GAP_SIZE < length)
-    make_gap (length - GAP_SIZE);
+    move_gap_both (PT, PT_BYTE);
+  if (GAP_SIZE < nbytes)
+    make_gap (nbytes - GAP_SIZE);
 
 
-  record_insert (PT, length);
-  MODIFF++;
+  if (prepare)
+    prepare_to_modify_buffer (PT, PT, NULL);
 
 
-  bcopy (string, GPT_ADDR, length);
+  combined_before_bytes
+    = count_combining_before (string, nbytes, PT, PT_BYTE);
+  combined_after_bytes
+    = count_combining_after (string, nbytes, PT, PT_BYTE);
 
 
-  /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
-  offset_intervals (current_buffer, PT, length);
+  /* Record deletion of the surrounding text that combines with
+     the insertion.  This, together with recording the insertion,
+     will add up to the right stuff in the undo list.
+
+     But there is no need to actually delete the combining bytes
+     from the buffer and reinsert them.  */
 
 
-  GAP_SIZE -= length;
-  GPT += length;
-  ZV += length;
-  Z += length;
-  adjust_point (length);
+  if (combined_after_bytes)
+    {
+      deletion = make_buffer_string_both (PT, PT_BYTE,
+                                         PT + combined_after_bytes,
+                                         PT_BYTE + combined_after_bytes, 1);
+
+      adjust_markers_for_record_delete (PT, PT_BYTE,
+                                       PT + combined_after_bytes,
+                                       PT_BYTE + combined_after_bytes);
+      record_delete (PT, deletion);
+    }
 
 
-  if (!inherit)
-    Fset_text_properties (make_number (PT - length), make_number (PT),
+  if (combined_before_bytes)
+    {
+      deletion = make_buffer_string_both (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                         PT, PT_BYTE, 1);
+      adjust_markers_for_record_delete (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                       PT, PT_BYTE);
+      record_delete (PT - 1, deletion);
+    }
+
+  record_insert (PT - !!combined_before_bytes,
+                nchars - combined_before_bytes + !!combined_before_bytes);
+  MODIFF++;
+
+  bcopy (string, GPT_ADDR, nbytes);
+
+  GAP_SIZE -= nbytes;
+  /* When we have combining at the end of the insertion,
+     this is the character position before the combined character.  */
+  GPT += nchars;
+  ZV += nchars;
+  Z += nchars;
+  GPT_BYTE += nbytes;
+  ZV_BYTE += nbytes;
+  Z_BYTE += nbytes;
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor.  */
+
+  if (combined_after_bytes)
+    move_gap_both (GPT + combined_after_bytes,
+                  GPT_BYTE + combined_after_bytes);
+
+  if (GPT_BYTE < GPT)
+    abort ();
+
+  adjust_overlays_for_insert (PT, nchars);
+  adjust_markers_for_insert (PT, PT_BYTE,
+                            PT + nchars, PT_BYTE + nbytes,
+                            combined_before_bytes, combined_after_bytes,
+                            before_markers);
+
+#ifdef USE_TEXT_PROPERTIES
+  if (BUF_INTERVALS (current_buffer) != 0)
+    /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES.  */
+    offset_intervals (current_buffer, PT, nchars);
+
+  if (!inherit && BUF_INTERVALS (current_buffer) != 0)
+    Fset_text_properties (make_number (PT), make_number (PT + nchars),
                          Qnil, Qnil);
                          Qnil, Qnil);
-}
+#endif
+
+  {
+    int pos = PT, pos_byte = PT_BYTE;
+
+    adjust_point (nchars + combined_after_bytes,
+                 nbytes + combined_after_bytes);
 
 
+    if (combined_after_bytes)
+      combine_bytes (pos + nchars, pos_byte + nbytes, combined_after_bytes);
+
+    if (combined_before_bytes)
+      combine_bytes (pos, pos_byte, combined_before_bytes);
+  }
+}
+\f
 /* Insert the part of the text of STRING, a Lisp object assumed to be
 /* Insert the part of the text of STRING, a Lisp object assumed to be
-   of type string, consisting of the LENGTH characters starting at
-   position POS.  If the text of STRING has properties, they are absorbed
-   into the buffer.
+   of type string, consisting of the LENGTH characters (LENGTH_BYTE bytes)
+   starting at position POS / POS_BYTE.  If the text of STRING has properties,
+   copy them into the buffer.
 
    It does not work to use `insert' for this, because a GC could happen
    before we bcopy the stuff into the buffer, and relocate the string
    without insert noticing.  */
 
 
    It does not work to use `insert' for this, because a GC could happen
    before we bcopy the stuff into the buffer, and relocate the string
    without insert noticing.  */
 
-insert_from_string (string, pos, length, inherit)
+void
+insert_from_string (string, pos, pos_byte, length, length_byte, inherit)
      Lisp_Object string;
      Lisp_Object string;
-     register int pos, length;
+     register int pos, pos_byte, length, length_byte;
      int inherit;
 {
   if (length > 0)
     {
      int inherit;
 {
   if (length > 0)
     {
-      insert_from_string_1 (string, pos, length, inherit);
-      signal_after_change (PT-length, 0, length);
+      int opoint = PT;
+      insert_from_string_1 (string, pos, pos_byte, length, length_byte,
+                           inherit, 0);
+      signal_after_change (opoint, 0, PT - opoint);
     }
 }
 
     }
 }
 
-static void
-insert_from_string_1 (string, pos, length, inherit)
+/* Like `insert_from_string' except that all markers pointing
+   at the place where the insertion happens are adjusted to point after it.  */
+
+void
+insert_from_string_before_markers (string, pos, pos_byte,
+                                  length, length_byte, inherit)
      Lisp_Object string;
      Lisp_Object string;
-     register int pos, length;
+     register int pos, pos_byte, length, length_byte;
      int inherit;
      int inherit;
+{
+  if (length > 0)
+    {
+      int opoint = PT;
+      insert_from_string_1 (string, pos, pos_byte, length, length_byte,
+                           inherit, 1);
+      signal_after_change (opoint, 0, PT - opoint);
+    }
+}
+
+/* Subroutine of the insertion functions above.  */
+
+static void
+insert_from_string_1 (string, pos, pos_byte, nchars, nbytes,
+                     inherit, before_markers)
+     Lisp_Object string;
+     register int pos, pos_byte, nchars, nbytes;
+     int inherit, before_markers;
 {
   register Lisp_Object temp;
   struct gcpro gcpro1;
 {
   register Lisp_Object temp;
   struct gcpro gcpro1;
+  int outgoing_nbytes = nbytes;
+  int combined_before_bytes, combined_after_bytes;
+  int adjusted_nchars;
+  INTERVAL intervals;
+  Lisp_Object deletion;
+
+  /* Make OUTGOING_NBYTES describe the text
+     as it will be inserted in this buffer.  */
+
+  if (NILP (current_buffer->enable_multibyte_characters))
+    outgoing_nbytes = nchars;
+  else if (nchars == nbytes)
+    outgoing_nbytes
+      = count_size_as_multibyte (&XSTRING (string)->data[pos_byte],
+                                nbytes);
 
   /* Make sure point-max won't overflow after this insertion.  */
 
   /* Make sure point-max won't overflow after this insertion.  */
-  XSET (temp, Lisp_Int, length + Z);
-  if (length + Z != XINT (temp))
-    error ("maximum buffer size exceeded");
+  XSETINT (temp, outgoing_nbytes + Z);
+  if (outgoing_nbytes + Z != XINT (temp))
+    error ("Maximum buffer size exceeded");
 
   GCPRO1 (string);
 
   GCPRO1 (string);
-  prepare_to_modify_buffer (PT, PT);
+  prepare_to_modify_buffer (PT, PT, NULL);
 
   if (PT != GPT)
 
   if (PT != GPT)
-    move_gap (PT);
-  if (GAP_SIZE < length)
-    make_gap (length - GAP_SIZE);
+    move_gap_both (PT, PT_BYTE);
+  if (GAP_SIZE < nbytes)
+    make_gap (outgoing_nbytes - GAP_SIZE);
+  UNGCPRO;
+
+  /* Copy the string text into the buffer, perhaps converting
+     between single-byte and multibyte.  */
+  copy_text (XSTRING (string)->data + pos_byte, GPT_ADDR, nbytes,
+            /* If these are equal, it is a single-byte string.
+               Its chars are either ASCII, in which case copy_text
+               won't change it, or single-byte non-ASCII chars,
+               that need to be changed.  */
+            nchars != nbytes,
+            ! NILP (current_buffer->enable_multibyte_characters));
+
+  /* We have copied text into the gap, but we have not altered
+     PT or PT_BYTE yet.  So we can pass PT and PT_BYTE
+     to these functions and get the same results as we would
+     have got earlier on.  Meanwhile, PT_ADDR does point to
+     the text that has been stored by copy_text.  */
+
+  combined_before_bytes
+    = count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE);
+  combined_after_bytes
+    = count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE);
+
+  /* Record deletion of the surrounding text that combines with
+     the insertion.  This, together with recording the insertion,
+     will add up to the right stuff in the undo list.
+
+     But there is no need to actually delete the combining bytes
+     from the buffer and reinsert them.  */
+
+  if (combined_after_bytes)
+    {
+      deletion = make_buffer_string_both (PT, PT_BYTE,
+                                         PT + combined_after_bytes,
+                                         PT_BYTE + combined_after_bytes, 1);
+
+      adjust_markers_for_record_delete (PT, PT_BYTE,
+                                       PT + combined_after_bytes,
+                                       PT_BYTE + combined_after_bytes);
+      record_delete (PT, deletion);
+    }
 
 
-  record_insert (PT, length);
+  if (combined_before_bytes)
+    {
+      deletion = make_buffer_string_both (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                         PT, PT_BYTE, 1);
+      adjust_markers_for_record_delete (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                       PT, PT_BYTE);
+      record_delete (PT - 1, deletion);
+    }
+
+  record_insert (PT - !!combined_before_bytes,
+                nchars - combined_before_bytes + !!combined_before_bytes);
   MODIFF++;
   MODIFF++;
-  UNGCPRO;
 
 
-  bcopy (XSTRING (string)->data, GPT_ADDR, length);
+  GAP_SIZE -= outgoing_nbytes;
+  GPT += nchars;
+  ZV += nchars;
+  Z += nchars;
+  GPT_BYTE += outgoing_nbytes;
+  ZV_BYTE += outgoing_nbytes;
+  Z_BYTE += outgoing_nbytes;
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor.  */
 
 
-  /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
-  offset_intervals (current_buffer, PT, length);
+  if (combined_after_bytes)
+    move_gap_both (GPT + combined_after_bytes,
+                  GPT_BYTE + combined_after_bytes);
+
+  if (GPT_BYTE < GPT)
+    abort ();
 
 
-  GAP_SIZE -= length;
-  GPT += length;
-  ZV += length;
-  Z += length;
+  adjust_overlays_for_insert (PT, nchars);
+  adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
+                            PT_BYTE + outgoing_nbytes,
+                            combined_before_bytes, combined_after_bytes,
+                            before_markers);
 
   /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
 
   /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
-  graft_intervals_into_buffer (XSTRING (string)->intervals, PT, length,
+  offset_intervals (current_buffer, PT, nchars);
+
+  intervals = XSTRING (string)->intervals;
+  /* Get the intervals for the part of the string we are inserting--
+     not including the combined-before bytes.  */
+  if (nbytes < XSTRING (string)->size_byte)
+    intervals = copy_intervals (intervals, pos, nchars);
+                              
+  /* Insert those intervals.  */
+  graft_intervals_into_buffer (intervals, PT, nchars,
                               current_buffer, inherit);
 
                               current_buffer, inherit);
 
-  adjust_point (length);
+  {
+    int pos = PT, pos_byte = PT_BYTE;
+
+    adjust_point (nchars + combined_after_bytes,
+                 outgoing_nbytes + combined_after_bytes);
+
+    if (combined_after_bytes)
+      combine_bytes (pos + nchars, pos_byte + outgoing_nbytes,
+                    combined_after_bytes);
+
+    if (combined_before_bytes)
+      combine_bytes (pos, pos_byte, combined_before_bytes);
+  }
 }
 }
+\f
+/* Insert text from BUF, NCHARS characters starting at CHARPOS, into the
+   current buffer.  If the text in BUF has properties, they are absorbed
+   into the current buffer.
 
 
-/* Insert the character C before point */
+   It does not work to use `insert' for this, because a malloc could happen
+   and relocate BUF's text before the bcopy happens.  */
 
 void
 
 void
-insert_char (c)
-     unsigned char c;
+insert_from_buffer (buf, charpos, nchars, inherit)
+     struct buffer *buf;
+     int charpos, nchars;
+     int inherit;
 {
 {
-  insert (&c, 1);
+  if (nchars > 0)
+    {
+      int opoint = PT;
+
+      insert_from_buffer_1 (buf, charpos, nchars, inherit);
+      signal_after_change (opoint, 0, PT - opoint);
+    }
 }
 
 }
 
-/* Insert the null-terminated string S before point */
+static void
+insert_from_buffer_1 (buf, from, nchars, inherit)
+     struct buffer *buf;
+     int from, nchars;
+     int inherit;
+{
+  register Lisp_Object temp, deletion;
+  int chunk;
+  int from_byte = buf_charpos_to_bytepos (buf, from);
+  int to_byte = buf_charpos_to_bytepos (buf, from + nchars);
+  int incoming_nbytes = to_byte - from_byte;
+  int outgoing_nbytes = incoming_nbytes;
+  int combined_before_bytes, combined_after_bytes;
+  int adjusted_nchars;
+  INTERVAL intervals;
+
+  /* Make OUTGOING_NBYTES describe the text
+     as it will be inserted in this buffer.  */
+
+  if (NILP (current_buffer->enable_multibyte_characters))
+    outgoing_nbytes = nchars;
+  else if (NILP (buf->enable_multibyte_characters))
+    outgoing_nbytes
+      = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf, from_byte),
+                                incoming_nbytes);
+
+  /* Make sure point-max won't overflow after this insertion.  */
+  XSETINT (temp, outgoing_nbytes + Z);
+  if (outgoing_nbytes + Z != XINT (temp))
+    error ("Maximum buffer size exceeded");
+
+  prepare_to_modify_buffer (PT, PT, NULL);
+
+  if (PT != GPT)
+    move_gap_both (PT, PT_BYTE);
+  if (GAP_SIZE < outgoing_nbytes)
+    make_gap (outgoing_nbytes - GAP_SIZE);
+
+  if (from < BUF_GPT (buf))
+    {
+      chunk = BUF_GPT_BYTE (buf) - from_byte;
+      if (chunk > incoming_nbytes)
+       chunk = incoming_nbytes;
+      copy_text (BUF_BYTE_ADDRESS (buf, from_byte),
+                GPT_ADDR, chunk,
+                ! NILP (buf->enable_multibyte_characters),
+                ! NILP (current_buffer->enable_multibyte_characters));
+    }
+  else
+    chunk = 0;
+  if (chunk < incoming_nbytes)
+    copy_text (BUF_BYTE_ADDRESS (buf, from_byte + chunk),
+              GPT_ADDR + chunk, incoming_nbytes - chunk,
+              ! NILP (buf->enable_multibyte_characters),
+              ! NILP (current_buffer->enable_multibyte_characters));
+
+  /* We have copied text into the gap, but we have not altered
+     PT or PT_BYTE yet.  So we can pass PT and PT_BYTE
+     to these functions and get the same results as we would
+     have got earlier on.  Meanwhile, GPT_ADDR does point to
+     the text that has been stored by copy_text.  */
+  combined_before_bytes
+    = count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE);
+  combined_after_bytes
+    = count_combining_after (GPT_ADDR, outgoing_nbytes,
+                            PT, PT_BYTE);
+
+  /* Record deletion of the surrounding text that combines with
+     the insertion.  This, together with recording the insertion,
+     will add up to the right stuff in the undo list.
+
+     But there is no need to actually delete the combining bytes
+     from the buffer and reinsert them.  */
+
+  if (combined_after_bytes)
+    {
+      deletion = make_buffer_string_both (PT, PT_BYTE,
+                                         PT + combined_after_bytes,
+                                         PT_BYTE + combined_after_bytes, 1);
+
+      adjust_markers_for_record_delete (PT, PT_BYTE,
+                                       PT + combined_after_bytes,
+                                       PT_BYTE + combined_after_bytes);
+      record_delete (PT, deletion);
+    }
+
+  if (combined_before_bytes)
+    {
+      deletion = make_buffer_string_both (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                         PT, PT_BYTE, 1);
+      adjust_markers_for_record_delete (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                       PT, PT_BYTE);
+      record_delete (PT - 1, deletion);
+    }
+
+  record_insert (PT - !!combined_before_bytes,
+                nchars - combined_before_bytes + !!combined_before_bytes);
+  MODIFF++;
+
+  GAP_SIZE -= outgoing_nbytes;
+  GPT += nchars;
+  ZV += nchars;
+  Z += nchars;
+  GPT_BYTE += outgoing_nbytes;
+  ZV_BYTE += outgoing_nbytes;
+  Z_BYTE += outgoing_nbytes;
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor.  */
+
+  if (combined_after_bytes)
+    move_gap_both (GPT + combined_after_bytes,
+                  GPT_BYTE + combined_after_bytes);
+
+  if (GPT_BYTE < GPT)
+    abort ();
+
+  adjust_overlays_for_insert (PT, nchars);
+  adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
+                            PT_BYTE + outgoing_nbytes,
+                            combined_before_bytes, combined_after_bytes, 0);
+
+#ifdef USE_TEXT_PROPERTIES
+  if (BUF_INTERVALS (current_buffer) != 0)
+    offset_intervals (current_buffer, PT, nchars);
+#endif
+
+  /* Get the intervals for the part of the string we are inserting--
+     not including the combined-before bytes.  */
+  intervals = BUF_INTERVALS (buf);
+  if (outgoing_nbytes < BUF_Z_BYTE (buf) - BUF_BEG_BYTE (buf))
+    intervals = copy_intervals (intervals, from, nchars);
+                              
+  /* Insert those intervals.  */
+  graft_intervals_into_buffer (intervals, PT, nchars, current_buffer, inherit);
+
+  {
+    int pos = PT, pos_byte = PT_BYTE;
+
+    adjust_point (nchars + combined_after_bytes,
+                 outgoing_nbytes + combined_after_bytes);
+
+    if (combined_after_bytes)
+      combine_bytes (pos + nchars, pos_byte + outgoing_nbytes,
+                    combined_after_bytes);
+
+    if (combined_before_bytes)
+      combine_bytes (pos, pos_byte, combined_before_bytes);
+  }
+}
+\f
+/* This function should be called after moving gap to FROM and before
+   altering text between FROM and TO.  This adjusts various position
+   keepers and markers as if the text is deleted.  Don't forget to
+   call adjust_after_replace after you actually alter the text.  */
 
 void
 
 void
-insert_string (s)
-     char *s;
+adjust_before_replace (from, from_byte, to, to_byte)
+     int from, from_byte, to, to_byte;
 {
 {
-  insert (s, strlen (s));
+  Lisp_Object deletion;
+  deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
+
+  adjust_markers_for_delete (from, from_byte, to, to_byte);
+  record_delete (from, deletion);
+  adjust_overlays_for_delete (from, to - from);
 }
 
 }
 
-/* Like `insert' except that all markers pointing at the place where
-   the insertion happens are adjusted to point after it.
-   Don't use this function to insert part of a Lisp string,
-   since gc could happen and relocate it.  */
+/* This function should be called after altering the text between FROM
+   and TO to a new text of LEN chars (LEN_BYTE bytes), but before
+   making the text a buffer contents.  It exists just after GPT_ADDR.  */
 
 
-insert_before_markers (string, length)
-     unsigned char *string;
-     register int length;
+void
+adjust_after_replace (from, from_byte, to, to_byte, len, len_byte, replace)
+     int from, from_byte, to, to_byte, len, len_byte, replace;
 {
 {
-  if (length > 0)
+  int combined_before_bytes
+    = count_combining_before (GPT_ADDR, len_byte, from, from_byte);
+  int combined_after_bytes
+    = count_combining_after (GPT_ADDR, len_byte, from, from_byte);
+  Lisp_Object deletion;
+
+  if (combined_after_bytes)
+    {
+      deletion = make_buffer_string_both (from, from_byte,
+                                         from + combined_after_bytes,
+                                         from_byte + combined_after_bytes, 1);
+
+      adjust_markers_for_record_delete (from, from_byte,
+                                       from + combined_after_bytes,
+                                       from_byte + combined_after_bytes);
+      record_delete (from, deletion);
+    }
+
+  if (combined_before_bytes)
     {
     {
-      register int opoint = PT;
-      insert_1 (string, length, 1);
-      adjust_markers (opoint - 1, opoint, length);
-      signal_after_change (PT-length, 0, length);
+      deletion = make_buffer_string_both (from - 1, CHAR_TO_BYTE (from - 1),
+                                         from, from_byte, 1);
+      adjust_markers_for_record_delete (from - 1, CHAR_TO_BYTE (from - 1),
+                                       from, from_byte);
+      record_delete (from - 1, deletion);
     }
     }
+
+  /* Update various buffer positions for the new text.  */
+  GAP_SIZE -= len_byte;
+  ZV += len; Z+= len;
+  ZV_BYTE += len_byte; Z_BYTE += len_byte;
+  GPT += len; GPT_BYTE += len_byte;
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
+
+  if (combined_after_bytes)
+    move_gap_both (GPT + combined_after_bytes,
+                  GPT_BYTE + combined_after_bytes);
+
+  record_insert (from - !!combined_before_bytes,
+                len - combined_before_bytes + !!combined_before_bytes);
+  adjust_overlays_for_insert (from, len);
+  adjust_markers_for_insert (from, from_byte,
+                            from + len, from_byte + len_byte,
+                            combined_before_bytes, combined_after_bytes, 0);
+#ifdef USE_TEXT_PROPERTIES
+  if (BUF_INTERVALS (current_buffer) != 0)
+    /* REPLACE zero means that we have not yet adjusted the interval
+       tree for the text between FROM and TO, thus, we must treat the
+       new text as a newly inserted text, not as a replacement of
+       something.  */
+    offset_intervals (current_buffer, from, len - (replace ? to - from : 0));
+#endif
+
+  {
+    int pos = PT, pos_byte = PT_BYTE;
+
+    if (from < PT)
+      adjust_point (len - (to - from) + combined_after_bytes,
+                   len_byte - (to_byte - from_byte) + combined_after_bytes);
+    else if (from == PT && combined_before_bytes)
+      adjust_point (0, combined_before_bytes);
+
+    if (combined_after_bytes)
+      combine_bytes (from + len, from_byte + len_byte, combined_after_bytes);
+
+    if (combined_before_bytes)
+      combine_bytes (from, from_byte, combined_before_bytes);
+  }
+
+  if (len == 0)
+    evaporate_overlays (from);
+  MODIFF++;
 }
 
 }
 
-/* Insert part of a Lisp string, relocating markers after.  */
+/* Replace the text from character positions FROM to TO with NEW,
+   If PREPARE is nonzero, call prepare_to_modify_buffer.
+   If INHERIT, the newly inserted text should inherit text properties
+   from the surrounding non-deleted text.  */
 
 
-insert_from_string_before_markers (string, pos, length, inherit)
-     Lisp_Object string;
-     register int pos, length;
-     int inherit;
+/* Note that this does not yet handle markers quite right.
+   Also it needs to record a single undo-entry that does a replacement
+   rather than a separate delete and insert.
+   That way, undo will also handle markers properly.  */
+
+void
+replace_range (from, to, new, prepare, inherit, nomarkers)
+     Lisp_Object new;
+     int from, to, prepare, inherit, nomarkers;
 {
 {
-  if (length > 0)
+  int inschars = XSTRING (new)->size;
+  int insbytes = XSTRING (new)->size_byte;
+  int from_byte, to_byte;
+  int nbytes_del, nchars_del;
+  register Lisp_Object temp;
+  struct gcpro gcpro1;
+  int combined_before_bytes, combined_after_bytes;
+  int adjusted_inschars;
+  INTERVAL intervals;
+  int outgoing_insbytes = insbytes;
+  Lisp_Object deletion;
+
+  GCPRO1 (new);
+
+  if (prepare)
+    {
+      int range_length = to - from;
+      prepare_to_modify_buffer (from, to, &from);
+      to = from + range_length;
+    }
+
+  UNGCPRO;
+
+  /* Make args be valid */
+  if (from < BEGV)
+    from = BEGV;
+  if (to > ZV)
+    to = ZV;
+
+  from_byte = CHAR_TO_BYTE (from);
+  to_byte = CHAR_TO_BYTE (to);
+
+  nchars_del = to - from;
+  nbytes_del = to_byte - from_byte;
+
+  if (nbytes_del <= 0 && insbytes == 0)
+    return;
+
+  /* Make OUTGOING_INSBYTES describe the text
+     as it will be inserted in this buffer.  */
+
+  if (NILP (current_buffer->enable_multibyte_characters))
+    outgoing_insbytes = inschars;
+  else if (inschars == insbytes)
+    outgoing_insbytes
+      = count_size_as_multibyte (XSTRING (new)->data, insbytes);
+
+  /* Make sure point-max won't overflow after this insertion.  */
+  XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
+  if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
+    error ("Maximum buffer size exceeded");
+
+  GCPRO1 (new);
+
+  /* Make sure the gap is somewhere in or next to what we are deleting.  */
+  if (from > GPT)
+    gap_right (from, from_byte);
+  if (to < GPT)
+    gap_left (to, to_byte, 0);
+
+  deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
+
+  if (nomarkers)
+    /* Relocate all markers pointing into the new, larger gap
+       to point at the end of the text before the gap.
+       Do this before recording the deletion,
+       so that undo handles this after reinserting the text.  */
+    adjust_markers_for_delete (from, from_byte, to, to_byte);
+
+  record_delete (from, deletion);
+
+  GAP_SIZE += nbytes_del;
+  ZV -= nchars_del;
+  Z -= nchars_del;
+  ZV_BYTE -= nbytes_del;
+  Z_BYTE -= nbytes_del;
+  GPT = from;
+  GPT_BYTE = from_byte;
+  *(GPT_ADDR) = 0;             /* Put an anchor.  */
+
+  if (GPT_BYTE < GPT)
+    abort ();
+
+  if (GPT - BEG < beg_unchanged)
+    beg_unchanged = GPT - BEG;
+  if (Z - GPT < end_unchanged)
+    end_unchanged = Z - GPT;
+
+  if (GAP_SIZE < insbytes)
+    make_gap (insbytes - GAP_SIZE);
+
+  /* Copy the string text into the buffer, perhaps converting
+     between single-byte and multibyte.  */
+  copy_text (XSTRING (new)->data, GPT_ADDR, insbytes,
+            /* If these are equal, it is a single-byte string.
+               Its chars are either ASCII, in which case copy_text
+               won't change it, or single-byte non-ASCII chars,
+               that need to be changed.  */
+            inschars != insbytes,
+            ! NILP (current_buffer->enable_multibyte_characters));
+
+  /* We have copied text into the gap, but we have not altered
+     PT or PT_BYTE yet.  So we can pass PT and PT_BYTE
+     to these functions and get the same results as we would
+     have got earlier on.  Meanwhile, GPT_ADDR does point to
+     the text that has been stored by copy_text.  */
+
+  combined_before_bytes
+    = count_combining_before (GPT_ADDR, outgoing_insbytes, PT, PT_BYTE);
+  combined_after_bytes
+    = count_combining_after (GPT_ADDR, outgoing_insbytes, PT, PT_BYTE);
+
+  /* Record deletion of the surrounding text that combines with
+     the insertion.  This, together with recording the insertion,
+     will add up to the right stuff in the undo list.
+
+     But there is no need to actually delete the combining bytes
+     from the buffer and reinsert them.  */
+
+  if (combined_after_bytes)
+    {
+      deletion = make_buffer_string_both (PT, PT_BYTE,
+                                         PT + combined_after_bytes,
+                                         PT_BYTE + combined_after_bytes, 1);
+
+      adjust_markers_for_record_delete (PT, PT_BYTE,
+                                       PT + combined_after_bytes,
+                                       PT_BYTE + combined_after_bytes);
+      record_delete (PT, deletion);
+    }
+
+  if (combined_before_bytes)
     {
     {
-      register int opoint = PT;
-      insert_from_string_1 (string, pos, length, inherit);
-      adjust_markers (opoint - 1, opoint, length);
-      signal_after_change (PT-length, 0, length);
+      deletion = make_buffer_string_both (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                         PT, PT_BYTE, 1);
+      adjust_markers_for_record_delete (PT - 1, CHAR_TO_BYTE (PT - 1),
+                                       PT, PT_BYTE);
+      record_delete (PT - 1, deletion);
     }
     }
+
+  record_insert (PT - !!combined_before_bytes,
+                inschars - combined_before_bytes + !!combined_before_bytes);
+
+  GAP_SIZE -= outgoing_insbytes;
+  GPT += inschars;
+  ZV += inschars;
+  Z += inschars;
+  GPT_BYTE += outgoing_insbytes;
+  ZV_BYTE += outgoing_insbytes;
+  Z_BYTE += outgoing_insbytes;
+  if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor.  */
+
+  if (combined_after_bytes)
+    move_gap_both (GPT + combined_after_bytes,
+                  GPT_BYTE + combined_after_bytes);
+
+  if (GPT_BYTE < GPT)
+    abort ();
+
+  /* Adjust the overlay center as needed.  This must be done after
+     adjusting the markers that bound the overlays.  */
+  adjust_overlays_for_delete (from, nchars_del);
+  adjust_overlays_for_insert (from, inschars);
+  if (nomarkers)
+    adjust_markers_for_insert (from, from_byte,
+                              from + inschars, from_byte + outgoing_insbytes,
+                              combined_before_bytes, combined_after_bytes, 0);
+
+#ifdef USE_TEXT_PROPERTIES
+  offset_intervals (current_buffer, PT, inschars - nchars_del);
+
+  /* Get the intervals for the part of the string we are inserting--
+     not including the combined-before bytes.  */
+  intervals = XSTRING (new)->intervals;
+  /* Insert those intervals.  */
+  graft_intervals_into_buffer (intervals, from, inschars,
+                              current_buffer, inherit);
+#endif
+
+  /* Relocate point as if it were a marker.  */
+  if (from < PT)
+    adjust_point ((from + inschars - (PT < to ? PT : to)
+                  + combined_after_bytes),
+                 (from_byte + outgoing_insbytes
+                  - (PT_BYTE < to_byte ? PT_BYTE : to_byte)
+                  + combined_after_bytes));
+
+  if (combined_after_bytes)
+    combine_bytes (from + inschars, from_byte + outgoing_insbytes,
+                  combined_after_bytes);
+
+  if (combined_before_bytes)
+    combine_bytes (from, from_byte, combined_before_bytes);
+
+  if (outgoing_insbytes == 0)
+    evaporate_overlays (from);
+
+  MODIFF++;
+  UNGCPRO;
+
+  signal_after_change (from, nchars_del, PT - from);
 }
 \f
 /* Delete characters in current buffer
 }
 \f
 /* Delete characters in current buffer
-   from FROM up to (but not including) TO.  */
+   from FROM up to (but not including) TO.
+   If TO comes before FROM, we delete nothing.  */
 
 
+void
 del_range (from, to)
      register int from, to;
 {
 del_range (from, to)
      register int from, to;
 {
-  return del_range_1 (from, to, 1);
+  del_range_1 (from, to, 1);
 }
 
 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.  */
 
 }
 
 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.  */
 
+void
 del_range_1 (from, to, prepare)
 del_range_1 (from, to, prepare)
-     register int from, to, prepare;
+     int from, to, prepare;
 {
 {
-  register int numdel;
+  int from_byte, to_byte;
 
   /* Make args be valid */
   if (from < BEGV)
 
   /* Make args be valid */
   if (from < BEGV)
@@ -502,49 +1724,216 @@ del_range_1 (from, to, prepare)
   if (to > ZV)
     to = ZV;
 
   if (to > ZV)
     to = ZV;
 
-  if ((numdel = to - from) <= 0)
+  if (to <= from)
+    return;
+
+  if (prepare)
+    {
+      int range_length = to - from;
+      prepare_to_modify_buffer (from, to, &from);
+      to = from + range_length;
+    }
+
+  from_byte = CHAR_TO_BYTE (from);
+  to_byte = CHAR_TO_BYTE (to);
+
+  del_range_2 (from, from_byte, to, to_byte);
+}
+
+/* Like del_range_1 but args are byte positions, not char positions.  */
+
+void
+del_range_byte (from_byte, to_byte, prepare)
+     int from_byte, to_byte, prepare;
+{
+  int from, to;
+
+  /* Make args be valid */
+  if (from_byte < BEGV_BYTE)
+    from_byte = BEGV_BYTE;
+  if (to_byte > ZV_BYTE)
+    to_byte = ZV_BYTE;
+
+  if (to_byte <= from_byte)
     return;
 
     return;
 
+  from = BYTE_TO_CHAR (from_byte);
+  to = BYTE_TO_CHAR (to_byte);
+
+  if (prepare)
+    {
+      int old_from = from, old_to = Z - to;
+      int range_length = to - from;
+      prepare_to_modify_buffer (from, to, &from);
+      to = from + range_length;
+
+      if (old_from != from)
+       from_byte = CHAR_TO_BYTE (from);
+      if (old_to == Z - to)
+       to_byte = CHAR_TO_BYTE (to);
+    }
+
+  del_range_2 (from, from_byte, to, to_byte);
+}
+
+/* Like del_range_1, but positions are specified both as charpos
+   and bytepos.  */
+
+void
+del_range_both (from, from_byte, to, to_byte, prepare)
+     int from, from_byte, to, to_byte, prepare;
+{
+  /* Make args be valid */
+  if (from_byte < BEGV_BYTE)
+    from_byte = BEGV_BYTE;
+  if (to_byte > ZV_BYTE)
+    to_byte = ZV_BYTE;
+
+  if (to_byte <= from_byte)
+    return;
+
+  if (from < BEGV)
+    from = BEGV;
+  if (to > ZV)
+    to = ZV;
+
+  if (prepare)
+    {
+      int old_from = from, old_to = Z - to;
+      int range_length = to - from;
+      prepare_to_modify_buffer (from, to, &from);
+      to = from + range_length;
+
+      if (old_from != from)
+       from_byte = CHAR_TO_BYTE (from);
+      if (old_to == Z - to)
+       to_byte = CHAR_TO_BYTE (to);
+    }
+
+  del_range_2 (from, from_byte, to, to_byte);
+}
+
+/* Delete a range of text, specified both as character positions
+   and byte positions.  FROM and TO are character positions,
+   while FROM_BYTE and TO_BYTE are byte positions.  */
+
+void
+del_range_2 (from, from_byte, to, to_byte)
+     int from, from_byte, to, to_byte;
+{
+  register int nbytes_del, nchars_del;
+  int combined_after_bytes;
+  Lisp_Object deletion;
+  int from_byte_1;
+
+  nchars_del = to - from;
+  nbytes_del = to_byte - from_byte;
+
   /* Make sure the gap is somewhere in or next to what we are deleting.  */
   if (from > GPT)
   /* Make sure the gap is somewhere in or next to what we are deleting.  */
   if (from > GPT)
-    gap_right (from);
+    gap_right (from, from_byte);
   if (to < GPT)
   if (to < GPT)
-    gap_left (to, 0);
+    gap_left (to, to_byte, 0);
 
 
-  if (prepare)
-    prepare_to_modify_buffer (from, to);
+  combined_after_bytes
+    = count_combining_before (BUF_BYTE_ADDRESS (current_buffer, to_byte),
+                             ZV_BYTE - to_byte, from, from_byte);
+  if (combined_after_bytes)
+    {
+      from_byte_1 = from_byte;
+      DEC_POS (from_byte_1);
+    }
+  else
+    from_byte_1 = from_byte;
 
 
-  record_delete (from, numdel);
+  deletion
+    = make_buffer_string_both (from - !!combined_after_bytes,
+                              from_byte_1,
+                              to + combined_after_bytes,
+                              to_byte + combined_after_bytes, 1);
+
+  /* Relocate all markers pointing into the new, larger gap
+     to point at the end of the text before the gap.
+     Do this before recording the deletion,
+     so that undo handles this after reinserting the text.  */
+  adjust_markers_for_delete (from, from_byte, to, to_byte);
+  if (combined_after_bytes)
+    {
+      /* Adjust markers for the phony deletion
+        that we are about to call record_undo for.  */
+
+      /* Here we delete the markers that formerly
+        pointed at TO ... TO + COMBINED_AFTER_BYTES.
+        But because of the call to adjust_markers_for_delete, above,
+        they now point at FROM ... FROM + COMBINED_AFTER_BYTES.  */
+      adjust_markers_for_record_delete (from, from_byte,
+                                       from + combined_after_bytes,
+                                       from_byte + combined_after_bytes);
+
+      adjust_markers_for_record_delete (from - 1, from_byte_1,
+                                       from, from_byte);
+    }
+  record_delete (from - !!combined_after_bytes, deletion);
+
+  if (combined_after_bytes)
+    /* COMBINED_AFTER_BYTES nonzero means that the above record_delete
+       moved the gap by calling Fbuffer_substring.  We must move the
+       gap again to a proper place.  */
+    move_gap_both (from, from_byte);
   MODIFF++;
 
   /* Relocate point as if it were a marker.  */
   if (from < PT)
   MODIFF++;
 
   /* Relocate point as if it were a marker.  */
   if (from < PT)
-    adjust_point (from - (PT < to ? PT : to));
+    adjust_point (from - (PT < to ? PT : to),
+                 from_byte - (PT_BYTE < to_byte ? PT_BYTE : to_byte));
 
   /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
 
   /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
-  offset_intervals (current_buffer, from, - numdel);
+  offset_intervals (current_buffer, from, - nchars_del);
 
 
-  /* Relocate all markers pointing into the new, larger gap
-     to point at the end of the text before the gap.  */
-  adjust_markers (to + GAP_SIZE, to + GAP_SIZE, - numdel - GAP_SIZE);
+  /* Adjust the overlay center as needed.  This must be done after
+     adjusting the markers that bound the overlays.  */
+  adjust_overlays_for_delete (from, nchars_del);
 
 
-  GAP_SIZE += numdel;
-  ZV -= numdel;
-  Z -= numdel;
+  GAP_SIZE += nbytes_del;
+  ZV_BYTE -= nbytes_del;
+  Z_BYTE -= nbytes_del;
+  ZV -= nchars_del;
+  Z -= nchars_del;
   GPT = from;
   GPT = from;
+  GPT_BYTE = from_byte;
+
+  if (combined_after_bytes)
+    move_gap_both (GPT + combined_after_bytes,
+                  GPT_BYTE + combined_after_bytes);
+
+  *(GPT_ADDR) = 0;             /* Put an anchor.  */
+
+  if (GPT_BYTE < GPT)
+    abort ();
 
   if (GPT - BEG < beg_unchanged)
     beg_unchanged = GPT - BEG;
   if (Z - GPT < end_unchanged)
     end_unchanged = Z - GPT;
 
 
   if (GPT - BEG < beg_unchanged)
     beg_unchanged = GPT - BEG;
   if (Z - GPT < end_unchanged)
     end_unchanged = Z - GPT;
 
-  signal_after_change (from, numdel, 0);
+  if (combined_after_bytes)
+    {
+      combine_bytes (from, from_byte, combined_after_bytes);
+
+      record_insert (GPT - 1, 1);
+    }
+
+  evaporate_overlays (from);
+  signal_after_change (from, nchars_del, 0);
 }
 \f
 }
 \f
-/* Call this if you're about to change the region of BUFFER from START
-   to END.  This checks the read-only properties of the region, calls
-   the necessary modification hooks, and warns the next redisplay that
-   it should pay attention to that area.  */
+/* Call this if you're about to change the region of BUFFER from
+   character positions START to END.  This checks the read-only
+   properties of the region, calls the necessary modification hooks,
+   and warns the next redisplay that it should pay attention to that
+   area.  */
+
+void
 modify_region (buffer, start, end)
      struct buffer *buffer;
      int start, end;
 modify_region (buffer, start, end)
      struct buffer *buffer;
      int start, end;
@@ -554,211 +1943,388 @@ modify_region (buffer, start, end)
   if (buffer != old_buffer)
     set_buffer_internal (buffer);
 
   if (buffer != old_buffer)
     set_buffer_internal (buffer);
 
-  prepare_to_modify_buffer (start, end);
+  prepare_to_modify_buffer (start, end, NULL);
 
 
-  if (start - 1 < beg_unchanged || unchanged_modified == MODIFF)
+  if (start - 1 < beg_unchanged
+      || (unchanged_modified == MODIFF
+         && overlay_unchanged_modified == OVERLAY_MODIFF))
     beg_unchanged = start - 1;
   if (Z - end < end_unchanged
     beg_unchanged = start - 1;
   if (Z - end < end_unchanged
-      || unchanged_modified == MODIFF)
+      || (unchanged_modified == MODIFF
+         && overlay_unchanged_modified == OVERLAY_MODIFF))
     end_unchanged = Z - end;
 
     end_unchanged = Z - end;
 
-  if (MODIFF <= current_buffer->save_modified)
+  if (MODIFF <= SAVE_MODIFF)
     record_first_change ();
   MODIFF++;
 
     record_first_change ();
   MODIFF++;
 
+  buffer->point_before_scroll = Qnil;
+
   if (buffer != old_buffer)
     set_buffer_internal (old_buffer);
 }
   if (buffer != old_buffer)
     set_buffer_internal (old_buffer);
 }
+\f
+/* Check that it is okay to modify the buffer between START and END,
+   which are char positions.
 
 
-/* Check that it is okay to modify the buffer between START and END.
    Run the before-change-function, if any.  If intervals are in use,
    verify that the text to be modified is not read-only, and call
    Run the before-change-function, if any.  If intervals are in use,
    verify that the text to be modified is not read-only, and call
-   any modification properties the text may have. */
+   any modification properties the text may have.
+
+   If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
+   by holding its value temporarily in a marker.  */
 
 
-prepare_to_modify_buffer (start, end)
-     Lisp_Object start, end;
+void
+prepare_to_modify_buffer (start, end, preserve_ptr)
+     int start, end;
+     int *preserve_ptr;
 {
   if (!NILP (current_buffer->read_only))
     Fbarf_if_buffer_read_only ();
 
   /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
 {
   if (!NILP (current_buffer->read_only))
     Fbarf_if_buffer_read_only ();
 
   /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
-  verify_interval_modification (current_buffer, start, end);
-
-  verify_overlay_modification (start, end);
+  if (BUF_INTERVALS (current_buffer) != 0)
+    {
+      if (preserve_ptr)
+       {
+         Lisp_Object preserve_marker;
+         struct gcpro gcpro1;
+         preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil);
+         GCPRO1 (preserve_marker);
+         verify_interval_modification (current_buffer, start, end);
+         *preserve_ptr = marker_position (preserve_marker);
+         unchain_marker (preserve_marker);
+         UNGCPRO;
+       }
+      else
+       verify_interval_modification (current_buffer, start, end);
+    }
 
 #ifdef CLASH_DETECTION
 
 #ifdef CLASH_DETECTION
-  if (!NILP (current_buffer->filename)
-      && current_buffer->save_modified >= MODIFF)
-    lock_file (current_buffer->filename);
+  if (!NILP (current_buffer->file_truename)
+      /* Make binding buffer-file-name to nil effective.  */
+      && !NILP (current_buffer->filename)
+      && SAVE_MODIFF >= MODIFF)
+    lock_file (current_buffer->file_truename);
 #else
   /* At least warn if this file has changed on disk since it was visited.  */
   if (!NILP (current_buffer->filename)
 #else
   /* At least warn if this file has changed on disk since it was visited.  */
   if (!NILP (current_buffer->filename)
-      && current_buffer->save_modified >= MODIFF
+      && SAVE_MODIFF >= MODIFF
       && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
       && !NILP (Ffile_exists_p (current_buffer->filename)))
     call1 (intern ("ask-user-about-supersession-threat"),
           current_buffer->filename);
 #endif /* not CLASH_DETECTION */
 
       && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
       && !NILP (Ffile_exists_p (current_buffer->filename)))
     call1 (intern ("ask-user-about-supersession-threat"),
           current_buffer->filename);
 #endif /* not CLASH_DETECTION */
 
-  signal_before_change (start, end);
+  signal_before_change (start, end, preserve_ptr);
+
+  if (current_buffer->newline_cache)
+    invalidate_region_cache (current_buffer,
+                             current_buffer->newline_cache,
+                             start - BEG, Z - end);
+  if (current_buffer->width_run_cache)
+    invalidate_region_cache (current_buffer,
+                             current_buffer->width_run_cache,
+                             start - BEG, Z - end);
 
   Vdeactivate_mark = Qt;
 }
 \f
 
   Vdeactivate_mark = Qt;
 }
 \f
-static Lisp_Object
-before_change_function_restore (value)
-     Lisp_Object value;
-{
-  Vbefore_change_function = value;
-}
+/* These macros work with an argument named `preserve_ptr'
+   and a local variable named `preserve_marker'.  */
+
+#define PRESERVE_VALUE                                                 \
+  if (preserve_ptr && NILP (preserve_marker))                          \
+    preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil)
+
+#define RESTORE_VALUE                                          \
+  if (! NILP (preserve_marker))                                        \
+    {                                                          \
+      *preserve_ptr = marker_position (preserve_marker);       \
+      unchain_marker (preserve_marker);                                \
+    }
 
 
-static Lisp_Object
-after_change_function_restore (value)
-     Lisp_Object value;
-{
-  Vafter_change_function = value;
-}
+#define PRESERVE_START_END                     \
+  if (NILP (start_marker))                     \
+    start_marker = Fcopy_marker (start, Qnil); \
+  if (NILP (end_marker))                       \
+    end_marker = Fcopy_marker (end, Qnil);
 
 
-static Lisp_Object
-before_change_functions_restore (value)
-     Lisp_Object value;
-{
-  Vbefore_change_functions = value;
-}
+#define FETCH_START                            \
+  (! NILP (start_marker) ? Fmarker_position (start_marker) : start)
 
 
-static Lisp_Object
-after_change_functions_restore (value)
-     Lisp_Object value;
-{
-  Vafter_change_functions = value;
-}
+#define FETCH_END                              \
+  (! NILP (end_marker) ? Fmarker_position (end_marker) : end)
 
 /* Signal a change to the buffer immediately before it happens.
 
 /* Signal a change to the buffer immediately before it happens.
-   START and END are the bounds of the text to be changed,
-   as Lisp objects.  */
+   START_INT and END_INT are the bounds of the text to be changed.
 
 
-signal_before_change (start, end)
-     Lisp_Object start, end;
+   If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
+   by holding its value temporarily in a marker.  */
+
+void
+signal_before_change (start_int, end_int, preserve_ptr)
+     int start_int, end_int;
+     int *preserve_ptr;
 {
 {
+  Lisp_Object start, end;
+  Lisp_Object start_marker, end_marker;
+  Lisp_Object preserve_marker;
+  struct gcpro gcpro1, gcpro2, gcpro3;
+
+  start = make_number (start_int);
+  end = make_number (end_int);
+  preserve_marker = Qnil;
+  start_marker = Qnil;
+  end_marker = Qnil;
+  GCPRO3 (preserve_marker, start_marker, end_marker);
+
   /* If buffer is unmodified, run a special hook for that case.  */
   /* If buffer is unmodified, run a special hook for that case.  */
-  if (current_buffer->save_modified >= MODIFF
+  if (SAVE_MODIFF >= MODIFF
       && !NILP (Vfirst_change_hook)
       && !NILP (Vrun_hooks))
       && !NILP (Vfirst_change_hook)
       && !NILP (Vrun_hooks))
-    call1 (Vrun_hooks, Qfirst_change_hook);
+    {
+      PRESERVE_VALUE;
+      PRESERVE_START_END;
+      call1 (Vrun_hooks, Qfirst_change_hook);
+    }
 
 
-  /* Now in any case run the before-change-function if any.  */
+  /* Run the before-change-function if any.
+     We don't bother "binding" this variable to nil
+     because it is obsolete anyway and new code should not use it.  */
   if (!NILP (Vbefore_change_function))
     {
   if (!NILP (Vbefore_change_function))
     {
-      int count = specpdl_ptr - specpdl;
-      Lisp_Object function;
-
-      function = Vbefore_change_function;
-
-      record_unwind_protect (after_change_function_restore,
-                            Vafter_change_function);
-      record_unwind_protect (before_change_function_restore,
-                            Vbefore_change_function);
-      record_unwind_protect (after_change_functions_restore,
-                            Vafter_change_functions);
-      record_unwind_protect (before_change_functions_restore,
-                            Vbefore_change_functions);
-      Vafter_change_function = Qnil;
-      Vbefore_change_function = Qnil;
-      Vafter_change_functions = Qnil;
-      Vbefore_change_functions = Qnil;
-
-      call2 (function, start, end);
-      unbind_to (count, Qnil);
+      PRESERVE_VALUE;
+      PRESERVE_START_END;
+      call2 (Vbefore_change_function, FETCH_START, FETCH_END);
     }
 
     }
 
-  /* Now in any case run the before-change-function if any.  */
+  /* Now run the before-change-functions if any.  */
   if (!NILP (Vbefore_change_functions))
     {
   if (!NILP (Vbefore_change_functions))
     {
-      int count = specpdl_ptr - specpdl;
-      Lisp_Object functions;
-
-      functions = Vbefore_change_functions;
-
-      record_unwind_protect (after_change_function_restore,
-                            Vafter_change_function);
-      record_unwind_protect (before_change_function_restore,
-                            Vbefore_change_function);
-      record_unwind_protect (after_change_functions_restore,
-                            Vafter_change_functions);
-      record_unwind_protect (before_change_functions_restore,
-                            Vbefore_change_functions);
-      Vafter_change_function = Qnil;
-      Vbefore_change_function = Qnil;
-      Vafter_change_functions = Qnil;
+      Lisp_Object args[3];
+      Lisp_Object before_change_functions;
+      Lisp_Object after_change_functions;
+      struct gcpro gcpro1, gcpro2;
+
+      PRESERVE_VALUE;
+      PRESERVE_START_END;
+
+      /* "Bind" before-change-functions and after-change-functions
+        to nil--but in a way that errors don't know about.
+        That way, if there's an error in them, they will stay nil.  */
+      before_change_functions = Vbefore_change_functions;
+      after_change_functions = Vafter_change_functions;
       Vbefore_change_functions = Qnil;
       Vbefore_change_functions = Qnil;
+      Vafter_change_functions = Qnil;
+      GCPRO2 (before_change_functions, after_change_functions);
+
+      /* Actually run the hook functions.  */
+      args[0] = Qbefore_change_functions;
+      args[1] = FETCH_START;
+      args[2] = FETCH_END;
+      run_hook_list_with_args (before_change_functions, 3, args);
+
+      /* "Unbind" the variables we "bound" to nil.  */
+      Vbefore_change_functions = before_change_functions;
+      Vafter_change_functions = after_change_functions;
+      UNGCPRO;
+    }
 
 
-      while (CONSP (functions))
-       {
-         call2 (XCONS (functions)->car, start, end);
-         functions = XCONS (functions)->cdr;
-       }
-      unbind_to (count, Qnil);
+  if (!NILP (current_buffer->overlays_before)
+      || !NILP (current_buffer->overlays_after))
+    {
+      PRESERVE_VALUE;
+      report_overlay_modification (FETCH_START, FETCH_END, 0,
+                                  FETCH_START, FETCH_END, Qnil);
     }
     }
+
+  if (! NILP (start_marker))
+    free_marker (start_marker);
+  if (! NILP (end_marker))
+    free_marker (end_marker);
+  RESTORE_VALUE;
+  UNGCPRO;
 }
 
 /* Signal a change immediately after it happens.
 }
 
 /* Signal a change immediately after it happens.
-   POS is the address of the start of the changed text.
+   CHARPOS is the character position of the start of the changed text.
    LENDEL is the number of characters of the text before the change.
    (Not the whole buffer; just the part that was changed.)
    LENDEL is the number of characters of the text before the change.
    (Not the whole buffer; just the part that was changed.)
-   LENINS is the number of characters in the changed text.  */
+   LENINS is the number of characters in that part of the text
+   after the change.  */
 
 
-signal_after_change (pos, lendel, lenins)
-     int pos, lendel, lenins;
+void
+signal_after_change (charpos, lendel, lenins)
+     int charpos, lendel, lenins;
 {
 {
-  if (!NILP (Vafter_change_function))
+  /* If we are deferring calls to the after-change functions
+     and there are no before-change functions,
+     just record the args that we were going to use.  */
+  if (! NILP (Vcombine_after_change_calls)
+      && NILP (Vbefore_change_function) && NILP (Vbefore_change_functions)
+      && NILP (current_buffer->overlays_before)
+      && NILP (current_buffer->overlays_after))
     {
     {
-      int count = specpdl_ptr - specpdl;
-      Lisp_Object function;
-      function = Vafter_change_function;
-
-      record_unwind_protect (after_change_function_restore,
-                            Vafter_change_function);
-      record_unwind_protect (before_change_function_restore,
-                            Vbefore_change_function);
-      record_unwind_protect (after_change_functions_restore,
-                            Vafter_change_functions);
-      record_unwind_protect (before_change_functions_restore,
-                            Vbefore_change_functions);
-      Vafter_change_function = Qnil;
-      Vbefore_change_function = Qnil;
-      Vafter_change_functions = Qnil;
-      Vbefore_change_functions = Qnil;
+      Lisp_Object elt;
+
+      if (!NILP (combine_after_change_list)
+         && current_buffer != XBUFFER (combine_after_change_buffer))
+       Fcombine_after_change_execute ();
 
 
-      call3 (function, make_number (pos), make_number (pos + lenins),
-            make_number (lendel));
-      unbind_to (count, Qnil);
+      elt = Fcons (make_number (charpos - BEG),
+                  Fcons (make_number (Z - (charpos - lendel + lenins)),
+                         Fcons (make_number (lenins - lendel), Qnil)));
+      combine_after_change_list
+       = Fcons (elt, combine_after_change_list);
+      combine_after_change_buffer = Fcurrent_buffer ();
+
+      return;
     }
     }
+
+  if (!NILP (combine_after_change_list)) 
+    Fcombine_after_change_execute ();
+
+  /* Run the after-change-function if any.
+     We don't bother "binding" this variable to nil
+     because it is obsolete anyway and new code should not use it.  */
+  if (!NILP (Vafter_change_function))
+    call3 (Vafter_change_function,
+          make_number (charpos), make_number (charpos + lenins),
+          make_number (lendel));
+
   if (!NILP (Vafter_change_functions))
     {
   if (!NILP (Vafter_change_functions))
     {
-      int count = specpdl_ptr - specpdl;
-      Lisp_Object functions;
-      functions = Vafter_change_functions;
-
-      record_unwind_protect (after_change_function_restore,
-                            Vafter_change_function);
-      record_unwind_protect (before_change_function_restore,
-                            Vbefore_change_function);
-      record_unwind_protect (after_change_functions_restore,
-                            Vafter_change_functions);
-      record_unwind_protect (before_change_functions_restore,
-                            Vbefore_change_functions);
-      Vafter_change_function = Qnil;
-      Vbefore_change_function = Qnil;
-      Vafter_change_functions = Qnil;
+      Lisp_Object args[4];
+      Lisp_Object before_change_functions;
+      Lisp_Object after_change_functions;
+      struct gcpro gcpro1, gcpro2;
+
+      /* "Bind" before-change-functions and after-change-functions
+        to nil--but in a way that errors don't know about.
+        That way, if there's an error in them, they will stay nil.  */
+      before_change_functions = Vbefore_change_functions;
+      after_change_functions = Vafter_change_functions;
       Vbefore_change_functions = Qnil;
       Vbefore_change_functions = Qnil;
+      Vafter_change_functions = Qnil;
+      GCPRO2 (before_change_functions, after_change_functions);
+
+      /* Actually run the hook functions.  */
+      args[0] = Qafter_change_functions;
+      XSETFASTINT (args[1], charpos);
+      XSETFASTINT (args[2], charpos + lenins);
+      XSETFASTINT (args[3], lendel);
+      run_hook_list_with_args (after_change_functions,
+                              4, args);
+
+      /* "Unbind" the variables we "bound" to nil.  */
+      Vbefore_change_functions = before_change_functions;
+      Vafter_change_functions = after_change_functions;
+      UNGCPRO;
+    }
 
 
-      while (CONSP (functions))
-       {
-         call3 (XCONS (functions)->car,
-                make_number (pos), make_number (pos + lenins),
-                make_number (lendel));
-         functions = XCONS (functions)->cdr;
-       }
-      unbind_to (count, Qnil);
+  if (!NILP (current_buffer->overlays_before)
+      || !NILP (current_buffer->overlays_after))
+    report_overlay_modification (make_number (charpos),
+                                make_number (charpos + lenins),
+                                1,
+                                make_number (charpos),
+                                make_number (charpos + 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 (charpos, charpos + lenins);
+}
+
+Lisp_Object
+Fcombine_after_change_execute_1 (val)
+     Lisp_Object val;
+{
+  Vcombine_after_change_calls = val;
+  return val;
+}
+
+DEFUN ("combine-after-change-execute", Fcombine_after_change_execute,
+  Scombine_after_change_execute, 0, 0, 0,
+  "This function is for use internally in `combine-after-change-calls'.")
+  ()
+{
+  register Lisp_Object val;
+  int count = specpdl_ptr - specpdl;
+  int beg, end, change;
+  int begpos, endpos;
+  Lisp_Object tail;
+
+  record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
+
+  Fset_buffer (combine_after_change_buffer);
+
+  /* # chars unchanged at beginning of buffer.  */
+  beg = Z - BEG;
+  /* # chars unchanged at end of buffer.  */
+  end = beg;
+  /* Total amount of insertion (negative for deletion).  */
+  change = 0;
+
+  /* Scan the various individual changes,
+     accumulating the range info in BEG, END and CHANGE.  */
+  for (tail = combine_after_change_list; CONSP (tail);
+       tail = XCONS (tail)->cdr)
+    {
+      Lisp_Object elt;
+      int thisbeg, thisend, thischange;
+
+      /* Extract the info from the next element.  */
+      elt = XCONS (tail)->car;
+      if (! CONSP (elt))
+       continue;
+      thisbeg = XINT (XCONS (elt)->car);
+
+      elt = XCONS (elt)->cdr;
+      if (! CONSP (elt))
+       continue;
+      thisend = XINT (XCONS (elt)->car);
+
+      elt = XCONS (elt)->cdr;
+      if (! CONSP (elt))
+       continue;
+      thischange = XINT (XCONS (elt)->car);
+
+      /* Merge this range into the accumulated range.  */
+      change += thischange;
+      if (thisbeg < beg)
+       beg = thisbeg;
+      if (thisend < end)
+       end = thisend;
     }
     }
+
+  /* Get the current start and end positions of the range
+     that was changed.  */
+  begpos = BEG + beg;
+  endpos = Z - end;
+  
+  /* We are about to handle these, so discard them.  */
+  combine_after_change_list = Qnil;
+
+  /* Now run the after-change functions for real.
+     Turn off the flag that defers them.  */
+  record_unwind_protect (Fcombine_after_change_execute_1,
+                        Vcombine_after_change_calls);
+  signal_after_change (begpos, endpos - begpos - change, endpos - begpos);
+
+  return unbind_to (count, val);
+}
+\f
+syms_of_insdel ()
+{
+  staticpro (&combine_after_change_list);
+  combine_after_change_list = Qnil;
+
+  DEFVAR_LISP ("combine-after-change-calls", &Vcombine_after_change_calls,
+     "Used internally by the `combine-after-change-calls' macro.");
+  Vcombine_after_change_calls = Qnil;
+
+  defsubr (&Scombine_after_change_execute);
 }
 }