From f8c78cb7520656532523aa3a2b86a252bea0787e Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 28 Jan 2010 01:30:55 +0000 Subject: [PATCH] typo (PR10722) svn: r17859 --- collects/scribblings/gui/editor-overview.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/gui/editor-overview.scrbl b/collects/scribblings/gui/editor-overview.scrbl index b19728ba53..b6b6e253ad 100644 --- a/collects/scribblings/gui/editor-overview.scrbl +++ b/collects/scribblings/gui/editor-overview.scrbl @@ -530,7 +530,7 @@ When an editor is loaded and a header/footer record is encountered, be loaded. See also @method[editor<%> write-headers-to-file] and - @method[editor<%> write-headers-to-file]. + @method[editor<%> read-header-from-file]. @section[#:tag "editoreol"]{End of Line Ambiguity}