Undo Redo - damoti/otter GitHub Wiki
Undo/Redo requires some special consideration.
These operations can apply only to the user for the current edit session. Or they can apply to all users/global edit stream.
Both probably should be supported.
For local changes:
As user goes back and forth in the redo/undo history, no updates are sent to server until they break the redo history. They break the redo history by triggering an new edit operation, all of the undone edits will get merged into a concise list of new operations to be sent to server.
For master/server changes:
Need to think about this more but it seems that it would be best to do this while the document is locked.