I imagine this 
<https://groups.google.com/d/topic/leo-editor/ZxgBht7Hhzw/discussion>is 
relevant?

> The c.all_unique_positions() iterator uses node identity to remove 
duplicate nodes, but that's about the only way identity will 
come into the picture.

> That is, searching by special-purpose Leo scripts. We aren't talking 
about Leo's search command here

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To view this discussion on the web visit 
https://groups.google.com/d/msg/leo-editor/-/dY32tRwpPlwJ.
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.

Reply via email to