redo in editor<%>

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.

• (send an-editor redo) -> void

  If the editor is currently performing an undo or redo, the method call is ignored.