On Fri, 13 Mar 2009 19:29:52 +0200 "Ville M. Vainio" <[email protected]> wrote:
> > 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. I ran into this problem with the backlinks.py plugin. It uses v.u['_lnks']['id'] (might have the '_lnks' bit wrong), but something simpler would be nice. So they'd always go up? I.e. not reused? So they'd essentially have the same livespan as v.u? Cheers -Terry --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
