From 664cfa2e31d18846378ccadb5e9f6d789f859d1b Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 2 Apr 2010 00:15:24 +0000 Subject: [PATCH] Given the other uses of #:mode public-final in this file, I assume that the quote was a mistake. svn: r18717 --- collects/scribblings/gui/editor-intf.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/gui/editor-intf.scrbl b/collects/scribblings/gui/editor-intf.scrbl index eb14fc38ac..a15fa7a570 100644 --- 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