Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

implement undo-history garbage-collection and size limit #49

Open
elkowar opened this issue Dec 25, 2022 · 0 comments
Open

implement undo-history garbage-collection and size limit #49

elkowar opened this issue Dec 25, 2022 · 0 comments
Labels
topic-core Things related to the editor core
Milestone
Basic editing fea...

Comments

@elkowar
Copy link
Contributor

elkowar commented Dec 25, 2022

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.
@elkowar elkowar converted this from a draft issue Dec 25, 2022
@elkowar elkowar added this to the Basic editing features milestone Dec 25, 2022
@elkowar elkowar added the topic-core Things related to the editor core label Dec 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
topic-core Things related to the editor core
Projects
Bazed itor
Status: Todo
Milestone
Basic editing features
Development

No branches or pull requests
1 participant
@elkowar