redo_edit

redo_edit :: (edit: *Text_Edit) -> bool

Redo the last undone step. Returns whether anything changed.

Parameters

edit: *Text_Edit

the text being edited.

Returns

bool

edit: Text_Edit;
defer free_text_edit(*edit);
insert_text(*edit, "typed");
undo_edit(*edit);
assert(redo_edit(*edit));
assert(contents(*edit) == "typed");