On Wednesday, March 18, 2020 at 9:21:01 AM UTC-5, Edward K. Ream wrote:

> I'm willing to consider saving (gnx, h, b) in undo data, but the present 
scheme preserves id(v) as well as v.gnx.

On second thought, I'm not willing to consider such a scheme. The present 
scheme preserves all aspects of v, including editing position, uA, and 
anything else that, say, a plugin might add.

The references ensure the that GC will never delete the vnode. This is 
exactly what I intend.

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/9fc57867-629f-4813-8eb1-b00c156845d8%40googlegroups.com.

Reply via email to