Open elkowar opened 1 year ago
Currently, we're infinitely accumulating undo history events, which bloats both the undo history and our CRDT. At a given max history length, we should discard older entries. Ever so often we should run garbage collection on the discarded entries.
Currently, we're infinitely accumulating undo history events, which bloats both the undo history and our CRDT. At a given max history length, we should discard older entries. Ever so often we should run garbage collection on the discarded entries.