Std.Ui.History.record
1 declaration
fn
record: &Std.Ui.History.History[S] -> S -> Std.Ui.History.History[S]The history after a change to next: the present becomes undoable and anything undone can no longer be redone. A change to an equal state records nothing.
