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
-~----------~----~----~----~------~----~------~--~---