From fc5c233cdd540b42f296c2723d10ff50688807a5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 20 Apr 2016 13:11:18 -0500 Subject: [PATCH] minor edit to undo docs --- gui-doc/scribblings/gui/editor-intf.scrbl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gui-doc/scribblings/gui/editor-intf.scrbl b/gui-doc/scribblings/gui/editor-intf.scrbl index 55319bf0..93e48a8c 100644 --- a/gui-doc/scribblings/gui/editor-intf.scrbl +++ b/gui-doc/scribblings/gui/editor-intf.scrbl @@ -2471,7 +2471,8 @@ See @xmethod[style-list% notify-on-change] for more information. void?]{ 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 is ignored. @@ -2487,7 +2488,7 @@ The system may perform an undo without calling this method in response to other method calls. Use methods such as @method[editor<%> on-change] to monitor editor content changes. -See also @method[editor<%> add-undo] . +See also @method[editor<%> add-undo]. }