I'd like to make it possible to pickle positions (in order to store e.g. node expansion status that always pollutes our diffs in c.db).
I understand that I can use p.archivedPosition for this, but when I unpickle this, I should be able to check its validity by ensuring that it refers to same vnode. Now that I think of it, wouldn't unique vnode id's provide a more robust (archived) representation of positions than just node indices? Perhaps a form like foo.bar.baz where every element is a vnode id. -- 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 -~----------~----~----~----~------~----~------~--~---
