(view-emacs-news): Handle prefix arg.
[bpt/emacs.git] / src / undo.c
index 683fa66..fc88838 100644 (file)
@@ -1,22 +1,22 @@
 /* undo handling for GNU Emacs.
-   Copyright (C) 1990, 1993 Free Software Foundation, Inc.
+   Copyright (C) 1990, 1993, 1994 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
+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,
-but WITHOUT ANY WARRANTY.  No author or distributor
-accepts responsibility to anyone for the consequences of using it
-or for whether it serves any particular purpose or works at all,
-unless he says so in writing.  Refer to the GNU Emacs General Public
-License for full details.
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
 
-Everyone is granted permission to copy, modify and redistribute
-GNU Emacs, but only under the conditions described in the
-GNU Emacs General Public License.   A copy of this license is
-supposed to have been given to you along with GNU Emacs so you
-can know your rights and responsibilities.  It should be in a
-file named COPYING.  Among other things, the copyright notice
-and this notice must be preserved on all copies.  */
+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, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
 
 
 #include <config.h>
@@ -41,8 +41,9 @@ Lisp_Object pending_boundary;
    (It is possible to record an insertion before or after the fact
    because we don't need to record the contents.)  */
 
+void
 record_insert (beg, length)
-     Lisp_Object beg, length;
+     int beg, length;
 {
   Lisp_Object lbeg, lend;
 
@@ -55,29 +56,29 @@ record_insert (beg, length)
 
   if (current_buffer != XBUFFER (last_undo_buffer))
     Fundo_boundary ();
-  XSET (last_undo_buffer, Lisp_Buffer, current_buffer);
+  XSETBUFFER (last_undo_buffer, current_buffer);
 
-  if (MODIFF <= current_buffer->save_modified)
+  if (MODIFF <= SAVE_MODIFF)
     record_first_change ();
 
   /* If this is following another insertion and consecutive with it
      in the buffer, combine the two.  */
-  if (XTYPE (current_buffer->undo_list) == Lisp_Cons)
+  if (CONSP (current_buffer->undo_list))
     {
       Lisp_Object elt;
       elt = XCONS (current_buffer->undo_list)->car;
-      if (XTYPE (elt) == Lisp_Cons
-         && XTYPE (XCONS (elt)->car) == Lisp_Int
-         && XTYPE (XCONS (elt)->cdr) == Lisp_Int
-         && XINT (XCONS (elt)->cdr) == XINT (beg))
+      if (CONSP (elt)
+         && INTEGERP (XCONS (elt)->car)
+         && INTEGERP (XCONS (elt)->cdr)
+         && XINT (XCONS (elt)->cdr) == beg)
        {
-         XSETINT (XCONS (elt)->cdr, XINT (beg) + XINT (length));
+         XSETINT (XCONS (elt)->cdr, beg + length);
          return;
        }
     }
 
-  lbeg = beg;
-  XSET (lend, Lisp_Int, XINT (beg) + XINT (length));
+  XSETFASTINT (lbeg, beg);
+  XSETINT (lend, beg + length);
   current_buffer->undo_list = Fcons (Fcons (lbeg, lend),
                                      current_buffer->undo_list);
 }
@@ -85,10 +86,12 @@ record_insert (beg, length)
 /* Record that a deletion is about to take place,
    for LENGTH characters at location BEG.  */
 
+void
 record_delete (beg, length)
      int beg, length;
 {
   Lisp_Object lbeg, lend, sbeg;
+  int at_boundary;
 
   if (EQ (current_buffer->undo_list, Qt))
     return;
@@ -99,20 +102,26 @@ record_delete (beg, length)
 
   if (current_buffer != XBUFFER (last_undo_buffer))
     Fundo_boundary ();
-  XSET (last_undo_buffer, Lisp_Buffer, current_buffer);
+  XSETBUFFER (last_undo_buffer, current_buffer);
 
-  if (MODIFF <= current_buffer->save_modified)
+  at_boundary = (CONSP (current_buffer->undo_list)
+                && NILP (XCONS (current_buffer->undo_list)->car));
+
+  if (MODIFF <= SAVE_MODIFF)
     record_first_change ();
 
-  if (point == beg + length)
-    XSET (sbeg, Lisp_Int, -beg);
+  if (PT == beg + length)
+    XSETINT (sbeg, -beg);
   else
-    XFASTINT (sbeg) = beg;
-  XFASTINT (lbeg) = beg;
-  XFASTINT (lend) = beg + length;
-
-  /* If point wasn't at start of deleted range, record where it was.  */
-  if (last_point_position != XFASTINT (sbeg))
+    XSETFASTINT (sbeg, beg);
+  XSETFASTINT (lbeg, beg);
+  XSETFASTINT (lend, beg + length);
+
+  /* If we are just after an undo boundary, and 
+     point wasn't at start of deleted range, record where it was.  */
+  if (at_boundary
+      && last_point_position != XFASTINT (sbeg)
+      && current_buffer == XBUFFER (last_point_position_buffer))
     current_buffer->undo_list
       = Fcons (make_number (last_point_position), current_buffer->undo_list);
 
@@ -121,10 +130,37 @@ record_delete (beg, length)
             current_buffer->undo_list);
 }
 
+/* Record the fact that MARKER is about to be adjusted by ADJUSTMENT.
+   This is done only when a marker points within text being deleted,
+   because that's the only case where an automatic marker adjustment
+   won't be inverted automatically by undoing the buffer modification.  */
+
+void
+record_marker_adjustment (marker, adjustment)
+     Lisp_Object marker;
+     int adjustment;
+{
+  if (EQ (current_buffer->undo_list, Qt))
+    return;
+
+  /* Allocate a cons cell to be the undo boundary after this command.  */
+  if (NILP (pending_boundary))
+    pending_boundary = Fcons (Qnil, Qnil);
+
+  if (current_buffer != XBUFFER (last_undo_buffer))
+    Fundo_boundary ();
+  XSETBUFFER (last_undo_buffer, current_buffer);
+
+  current_buffer->undo_list
+    = Fcons (Fcons (marker, make_number (adjustment)),
+            current_buffer->undo_list);
+}
+
 /* Record that a replacement is about to take place,
    for LENGTH characters at location BEG.
    The replacement does not change the number of characters.  */
 
+void
 record_change (beg, length)
      int beg, length;
 {
@@ -136,25 +172,31 @@ record_change (beg, length)
    Record the file modification date so that when undoing this entry
    we can tell whether it is obsolete because the file was saved again.  */
 
+void
 record_first_change ()
 {
   Lisp_Object high, low;
+  struct buffer *base_buffer = current_buffer;
 
   if (EQ (current_buffer->undo_list, Qt))
     return;
 
   if (current_buffer != XBUFFER (last_undo_buffer))
     Fundo_boundary ();
-  XSET (last_undo_buffer, Lisp_Buffer, current_buffer);
+  XSETBUFFER (last_undo_buffer, current_buffer);
+
+  if (base_buffer->base_buffer)
+    base_buffer = base_buffer->base_buffer;
 
-  XFASTINT (high) = (current_buffer->modtime >> 16) & 0xffff;
-  XFASTINT (low) = current_buffer->modtime & 0xffff;
+  XSETFASTINT (high, (base_buffer->modtime >> 16) & 0xffff);
+  XSETFASTINT (low, base_buffer->modtime & 0xffff);
   current_buffer->undo_list = Fcons (Fcons (Qt, Fcons (high, low)), current_buffer->undo_list);
 }
 
 /* Record a change in property PROP (whose old value was VAL)
    for LENGTH characters starting at position BEG in BUFFER.  */
 
+void
 record_property_change (beg, length, prop, value, buffer)
      int beg, length;
      Lisp_Object prop, value, buffer;
@@ -180,11 +222,11 @@ record_property_change (beg, length, prop, value, buffer)
   if (boundary)
     Fundo_boundary ();
 
-  if (MODIFF <= current_buffer->save_modified)
+  if (MODIFF <= SAVE_MODIFF)
     record_first_change ();
 
-  XSET (lbeg, Lisp_Int, beg);
-  XSET (lend, Lisp_Int, beg + length);
+  XSETINT (lbeg, beg);
+  XSETINT (lend, beg + length);
   entry = Fcons (Qnil, Fcons (prop, Fcons (value, Fcons (lbeg, lend))));
   current_buffer->undo_list = Fcons (entry, current_buffer->undo_list);
 
@@ -242,8 +284,7 @@ truncate_undo_list (list, minsize, maxsize)
      Skip, skip, skip the undo, skip, skip, skip the undo,
      Skip, skip, skip the undo, skip to the undo bound'ry. 
      (Get it?  "Skip to my Loo?")  */
-  if (XTYPE (next) == Lisp_Cons
-      && NILP (XCONS (next)->car))
+  if (CONSP (next) && NILP (XCONS (next)->car))
     {
       /* Add in the space occupied by this element and its chain link.  */
       size_so_far += sizeof (struct Lisp_Cons);
@@ -252,18 +293,17 @@ truncate_undo_list (list, minsize, maxsize)
       prev = next;
       next = XCONS (next)->cdr;
     }
-  while (XTYPE (next) == Lisp_Cons
-        && ! NILP (XCONS (next)->car))
+  while (CONSP (next) && ! NILP (XCONS (next)->car))
     {
       Lisp_Object elt;
       elt = XCONS (next)->car;
 
       /* Add in the space occupied by this element and its chain link.  */
       size_so_far += sizeof (struct Lisp_Cons);
-      if (XTYPE (elt) == Lisp_Cons)
+      if (CONSP (elt))
        {
          size_so_far += sizeof (struct Lisp_Cons);
-         if (XTYPE (XCONS (elt)->car) == Lisp_String)
+         if (STRINGP (XCONS (elt)->car))
            size_so_far += (sizeof (struct Lisp_String) - 1
                            + XSTRING (XCONS (elt)->car)->size);
        }
@@ -272,10 +312,10 @@ truncate_undo_list (list, minsize, maxsize)
       prev = next;
       next = XCONS (next)->cdr;
     }
-  if (XTYPE (next) == Lisp_Cons)
+  if (CONSP (next))
     last_boundary = prev;
 
-  while (XTYPE (next) == Lisp_Cons)
+  while (CONSP (next))
     {
       Lisp_Object elt;
       elt = XCONS (next)->car;
@@ -295,10 +335,10 @@ truncate_undo_list (list, minsize, maxsize)
 
       /* Add in the space occupied by this element and its chain link.  */
       size_so_far += sizeof (struct Lisp_Cons);
-      if (XTYPE (elt) == Lisp_Cons)
+      if (CONSP (elt))
        {
          size_so_far += sizeof (struct Lisp_Cons);
-         if (XTYPE (XCONS (elt)->car) == Lisp_String)
+         if (STRINGP (XCONS (elt)->car))
            size_so_far += (sizeof (struct Lisp_String) - 1
                            + XSTRING (XCONS (elt)->car)->size);
        }
@@ -328,8 +368,10 @@ Return what remains of the list.")
   (n, list)
      Lisp_Object n, list;
 {
+  struct gcpro gcpro1, gcpro2;
+  Lisp_Object next;
   int count = specpdl_ptr - specpdl;
-  register int arg = XINT (n);
+  register int arg;
 #if 0  /* This is a good feature, but would make undo-start
          unable to do what is expected.  */
   Lisp_Object tem;
@@ -341,6 +383,11 @@ Return what remains of the list.")
     list = Fcdr (list);
 #endif
 
+  CHECK_NUMBER (n, 0);
+  arg = XINT (n);
+  next = Qnil;
+  GCPRO2 (next, list);
+
   /* Don't let read-only properties interfere with undo.  */
   if (NILP (current_buffer->read_only))
     specbind (Qinhibit_read_only, Qt);
@@ -349,16 +396,15 @@ Return what remains of the list.")
     {
       while (1)
        {
-         Lisp_Object next;
          next = Fcar (list);
          list = Fcdr (list);
          /* Exit inner loop at undo boundary.  */
          if (NILP (next))
            break;
          /* Handle an integer by setting point to that value.  */
-         if (XTYPE (next) == Lisp_Int)
+         if (INTEGERP (next))
            SET_PT (clip_to_bounds (BEGV, XINT (next), ZV));
-         else if (XTYPE (next) == Lisp_Cons)
+         else if (CONSP (next))
            {
              Lisp_Object car, cdr;
 
@@ -369,15 +415,20 @@ Return what remains of the list.")
                  /* Element (t high . low) records previous modtime.  */
                  Lisp_Object high, low;
                  int mod_time;
+                 struct buffer *base_buffer = current_buffer;
 
                  high = Fcar (cdr);
                  low = Fcdr (cdr);
                  mod_time = (XFASTINT (high) << 16) + XFASTINT (low);
+
+                 if (current_buffer->base_buffer)
+                   base_buffer = current_buffer->base_buffer;
+
                  /* If this records an obsolete save
                     (not matching the actual disk file)
                     then don't mark unmodified.  */
-                 if (mod_time != current_buffer->modtime)
-                   break;
+                 if (mod_time != base_buffer->modtime)
+                   continue;
 #ifdef CLASH_DETECTION
                  Funlock_buffer ();
 #endif /* CLASH_DETECTION */
@@ -399,7 +450,7 @@ Return what remains of the list.")
                  Fput_text_property (beg, end, prop, val, Qnil);
                }
 #endif /* USE_TEXT_PROPERTIES */
-             else if (XTYPE (car) == Lisp_Int && XTYPE (cdr) == Lisp_Int)
+             else if (INTEGERP (car) && INTEGERP (cdr))
                {
                  /* Element (BEG . END) means range was inserted.  */
                  Lisp_Object end;
@@ -412,7 +463,7 @@ Return what remains of the list.")
                  Fgoto_char (car);
                  Fdelete_region (car, cdr);
                }
-             else if (XTYPE (car) == Lisp_String && XTYPE (cdr) == Lisp_Int)
+             else if (STRINGP (car) && INTEGERP (cdr))
                {
                  /* Element (STRING . POS) means STRING was deleted.  */
                  Lisp_Object membuf;
@@ -432,22 +483,30 @@ Return what remains of the list.")
                        error ("Changes to be undone are outside visible portion of buffer");
                      SET_PT (pos);
 
-                     /* Insert before markers so that if the mark is
-                        currently on the boundary of this deletion, it
-                        ends up on the other side of the now-undeleted
-                        text from point.  Since undo doesn't even keep
-                        track of the mark, this isn't really necessary,
-                        but it may lead to better behavior in certain
-                        situations.  */
-                     Finsert_before_markers (1, &membuf);
+                     /* Now that we record marker adjustments
+                        (caused by deletion) for undo,
+                        we should always insert after markers,
+                        so that undoing the marker adjustments
+                        put the markers back in the right place.  */
+                     Finsert (1, &membuf);
                      SET_PT (pos);
                    }
                }
+             else if (MARKERP (car) && INTEGERP (cdr))
+               {
+                 /* (MARKER . INTEGER) means a marker MARKER
+                    was adjusted by INTEGER.  */
+                 if (XMARKER (car)->buffer)
+                   Fset_marker (car,
+                                make_number (marker_position (car) - XINT (cdr)),
+                                Fmarker_buffer (car));
+               }
            }
        }
       arg--;
     }
 
+  UNGCPRO;
   return unbind_to (count, list);
 }