[previous] [up] [next]     [index]
Next: refresh Up: editor<> Previous: read-header-from-file

redo

Undoes the last undo, if no other changes have been made since.

The system may perform a redo without calling this method in response to other method calls. Use methods such as on-change to monitor editor content changes.

See also add-undo .



PLT