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
/
can_redo
can_redo
procedure
extension
experimental
since 0.31.0
Source
Whether
redo
has anything to redo.
can_redo
:: (buffer: *
Text_Buffer
) ->
bool
Parameters
buffer
:
*
Text_Buffer
Returns
bool
See also
seal_undo
can_undo
undo
redo