# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1137720606 0
# Node ID a0f25248375804e136e9318ca1f4cafdc6e80225
# Parent  84379b626fdbf7c6a0941b46d31a23c655818501
(Overview of Markers): Count insertion type as one of a marker's attributes.

diff -r 84379b626fdb -r a0f252483758 lispref/markers.texi
--- a/lispref/markers.texi	Fri Jan 20 01:26:48 2006 +0000
+++ b/lispref/markers.texi	Fri Jan 20 01:30:06 2006 +0000
@@ -36,14 +36,15 @@
 operates on, but that is entirely the programmer's responsibility.
 @xref{Positions}, for a complete description of positions.
 
-  A marker has two attributes: the marker position, and the marker
-buffer.  The marker position is an integer that is equivalent (at a
-given time) to the marker as a position in that buffer.  But the
-marker's position value can change often during the life of the marker.
-Insertion and deletion of text in the buffer relocate the marker.  The
-idea is that a marker positioned between two characters remains between
-those two characters despite insertion and deletion elsewhere in the
-buffer.  Relocation changes the integer equivalent of the marker.
+  A marker has three attributes: the marker position, the marker
+buffer, and the insertion type.  The marker position is an integer
+that is equivalent (at a given time) to the marker as a position in
+that buffer.  But the marker's position value can change often during
+the life of the marker.  Insertion and deletion of text in the buffer
+relocate the marker.  The idea is that a marker positioned between two
+characters remains between those two characters despite insertion and
+deletion elsewhere in the buffer.  Relocation changes the integer
+equivalent of the marker.
 
 @cindex marker relocation
   Deleting text around a marker's position leaves the marker between the