minor edit to undo docs

This commit is contained in:
Robby Findler 2016-04-20 13:11:18 -05:00
parent 0863437394
commit fc5c233cdd

View File

@ -2471,7 +2471,8 @@ See @xmethod[style-list% notify-on-change] for more information.
void?]{ void?]{
Undoes the last editor change, if undos have been enabled by calling Undoes the last editor change, if undos have been enabled by calling
@method[editor<%> set-max-undo-history] with a non-zero integer. @method[editor<%> set-max-undo-history] with a non-zero integer or
@racket['forever].
If the editor is currently performing an undo or redo, the method call If the editor is currently performing an undo or redo, the method call
is ignored. is ignored.