On Jan 5, 1:36 pm, "Edward K. Ream" <[email protected]> wrote:

> > to be absolutely correct I think that the index of the position (or is
> > it the vnode?) in the list of children needs to be the same.  The above
> > seems to allow for the position to exist, but not in the same, um,
> > position.  p._childIndex is not checked, in other words.
>
> Good catch.  I'll fix this immediately.

Fixed on the trunk at rev 1382.  All unit tests pass.

Edward
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to