Expand description
What the shell keeps about a document being edited: whether editing is on, what has changed since the file was read, and how to take it back.
Undo is a stack of snapshots of the content tree rather than a log of
commands. The tree derives Clone, a document of the size these
applications open clones in well under a millisecond, and commands would buy
redo granularity nobody has asked for. DESIGN.md §11.
Structs§
- Editing
- The shell’s editing state, handed to the view on every frame.