On 8/4/2014 11:39 PM, 'Terry Brown' via leo-editor wrote:
Very minor - if, for some odd reason, you have two nodes with the same
name but different tag sets, it lists both of them, but doesn't show the
different tag sets when you click on the different nodes.
This was a bigger bug than I expected! I was using the harebrained
scheme of just headlines as keys to map list items to positions... so
identical headlines always pointed to whichever node was added to the
list last. Fixed in the most recent commit, though, along with a bunch
of other edge cases that could have arisen. Also switched the internals
of some of the API around (but the interfaces and signatures remain the
same) to use vnodes instead of positions to prevent duplicated work in
some cases with clones.
Nice catch! Thanks again!
-->Jake
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
