Undo

[nickretallack]

• All edits push new states onto the history. Errors are not included. The active definition is included, but changing it does not push a new state.
• History states have short descriptions. The history can be displayed as a list.
• History states can be returned to by clicking them in the history list or clicking Undo.
• Returning to an old state navigates you to a relevant definition
• Un-done state is not lost, but rather stored in a graph-like fashion that tracks the heads and can be returned to at any time.
• How should this interact with collaboration? History items could include the user who did them. Reverts would not always be possible.