UndoManager
that tracks lists of changes emitted from changeStream
.UndoManager
that tracks and optionally merges lists of changes
emitted from changeStream
.UndoManager
that tracks and optionally merges lists of changes
emitted from changeStream
.UndoManager
that tracks and optionally merges lists of changes
emitted from changeStream
.UndoManager
that tracks changes emitted from changeStream
.UndoManager
that tracks and optionally merges changes emitted from changeStream
.UndoManager
that tracks and optionally merges changes emitted from changeStream
.UndoManager
that tracks and optionally merges changes emitted from changeStream
.UndoManager
s with bounded history.UndoManager
with bounded history.UndoManager
with bounded history.UndoManager
with bounded history.UndoManager
with bounded history.UndoManager
with bounded history.UndoManager
with bounded history.UndoManagerImpl
specified for a List
of changesUndoManager.redo()
.UndoManager.undo()
.UndoManager
for single changes.UndoManager
s with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
with unlimited history.UndoManager
s with no history.UndoManager
with no history: all changes emitted from changeStream
will be
immediately forgotten.UndoManager
with no history: all changes emitted from changeStream
will be
immediately forgotten.