Module undo 

Structs

CursorWithPos

DiffBatch

A batch of diffs.

UndoItemMeta

The metadata of an undo item.

UndoManager

UndoManager is responsible for managing undo/redo from the current peer’s perspective.

Enums

UndoOrRedo

Type Aliases

OnPop

OnPush

When a undo/redo item is pushed, the undo manager will call the on_push callback to get the meta data of the undo item. The returned cursors will be recorded for a new pushed undo item.