On Jul 29, 10:59 am, "Edward K. Ream" <[email protected]> wrote: > Because of unlimited undo, *nothing* (that is, no data) is *ever* > deleted while Leo is running. You could call this a *large* memory > leak.
I missed that (and still can't find where) undo uses the position visited list. I withdrew the suggestion. Clearly, the position visited list should be unbounded. Sorry to waste your time. Thank you for saving me from wandering into errors. -- 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.
