jacket
Search the docs
/
API
Tools
Playground
0.31.0
Text_Buffer module
← Text_Buffer
History
free_history
begin_group
end_group
seal_undo
can_undo
can_redo
undo
redo
On this page
See also
std
/
Extensions
/
Text_Buffer
/
free_history
free_history
procedure · 1 overload
since 0.31.0
Source
Release the history's stacks and the text of every edit in them.
free_history
:: (history: *
History
)
Release the history's stacks and the text of every edit in them.
Parameters
history
:
*
History
See also
begin_group
end_group