** Undoing the deletion of text now restores the positions of markers<BR>
that pointed into or next to the deleted text.
<P>