On Sat, Mar 14, 2009 at 5:22 PM, Ville M. Vainio <[email protected]> wrote:
> This path still points to the same file, even when we delete > /foo/bar/blah.txt. Equally, we could have > > /12/45/111 > > and > > /1321/112/45/111 Also note that we don't need to change the core all *that* much - just add an incrementing id that gets assigned on vnode constructor, and have that stuff serialized to/from leo's xml files. Conversion functions between real position objects and persistent "position paths" are easy to write outside the core as well. -- Ville M. Vainio http://tinyurl.com/vainio --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
