Module state 

A document and the history it keeps, below the toolkit: the primitive that writes a past state forward as a new change, which undo, redo and restore all write through.

The toolkit (ui::state) builds its State on this and keeps its paths.

Structs

UndoEntry

One step of the history as a window shows it: the changes it brackets, where the caret was, and who made it.

UndoLog

A document’s undo, as one window drives it. See the module docs.

Functions

write_patches

Write an already-derived patch set forward into doc’s open transaction.

write_revert_patches

Write the delta that leads from from_heads to to_heads into doc’s open transaction, without committing.

write_revert_patches_where

write_revert_patches for only the patches keep accepts: a restore of some items of a past version, or of everything but bookkeeping. The rest stay in the patch stream unwritten, so the indices of later sequence patches still line up. Returns how many patches were written.

Type Aliases

InstanceId

A window instance of an app, as the runtime numbers it.