I have been sorting the "Positions Visted List" [see
c.nodeHistory.visitedPositions()].  Sorting uses the greater than (or
GTE) and/or less than (or LTE) comparisons that are implmented in
class position in leoNodes.py. I have observed that unpredictably
equal positions are not together after sorting.  Though I can't
predict when this will happen, I can make it happen fairly easily.

Obviously, I could be mistaken.  I'm continuing to investigate.

Does anyone else depend on the ordering of positions being reliable?
If I'm correct, is anyone interested in fixing the problem?

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to leo-editor@googlegroups.com.
To unsubscribe from this group, send email to 
leo-editor+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to