Jacket
Search the docs
/
API
Tools
Playground
main
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
/
end_group
end_group
procedure
extension
experimental
since 0.31.0
Source
Ends the group that
begin_group
started.
end_group
:: (buffer: *
Text_Buffer
)
Parameters
buffer
:
*
Text_Buffer
See also
free_history
begin_group
seal_undo
can_undo
Jacket
Jacket