Text_Buffer module

redo

procedureextensionexperimentalsince 0.31.0Source

Redoes the last undone step. Returns whether anything was redone and the offset where the cursor belongs.

Example↗
buffer: Text_Buffer;
defer free_buffer(*buffer);
insert(*buffer, 0, "hi");
undo(*buffer);
assert(can_redo(*buffer));
redo(*buffer);
assert(buffer_to_string(*buffer, temp) == "hi");
redo :: (buffer: *Text_Buffer) -> (ok: bool, cursor: int)

Parameters

buffer: *Text_Buffer

Returns

ok: bool
cursor: int

See also