On Monday, October 14, 2019 at 4:22:46 AM UTC-5, vitalije wrote: > > Here is a very fast way to iterate all positions for a given vnode: >
Thanks for this. It should be useful in fixing #1392 <https://github.com/leo-editor/leo-editor/issues/1392>. I would like to make this code easily available to both scripts and Leo's core. Making this a "c" method seems the best way, though it might slow down the script a teeny bit. Of course, if speed is super important, people can use the script as is. What say you, Vitalije? Edward -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/f2aa5464-269f-4380-8f66-26a181510e26%40googlegroups.com.
