Given the other uses of #:mode public-final in this file, I assume that the

quote was a mistake. svn: r18717
2010-04-02 00:15:24 +00:00 · 2010-04-02 00:15:24 +00:00 · 664cfa2e31
commit 664cfa2e31
parent 20b39568ad
1 changed files with 1 additions and 1 deletions
--- a/collects/scribblings/gui/editor-intf.scrbl
+++ b/collects/scribblings/gui/editor-intf.scrbl
@ -905,7 +905,7 @@ See also @method[editor<%> local-to-global].

 }

-@defmethod[#:mode 'public-final (in-edit-sequence?)
+@defmethod[#:mode public-final (in-edit-sequence?)
           boolean?]{

 Returns @scheme[#t] if updating on this editor is currently delayed