From bedb06c837aaa192c3c0cfa7fa54ca3bb76e8f49 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 22 May 2014 14:14:08 -0500 Subject: [PATCH] tweak save-file docs based on my own earlier confusion original commit: c0dfc135c0e1ff32bf7232f12a715b3047c90171 --- pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl b/pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl index 68c8a5b7..8dc91f67 100644 --- a/pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl +++ b/pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl @@ -2025,8 +2025,12 @@ If @racket[filename] is @racket[#f], then the internally stored filename @method[editor<%> load-file]. The filename and format used to save the file can be retrieved with - @method[editor<%> get-filename]. In a @racket[text%] instance, the - format can be retrieved with @method[text% get-file-format]. + @method[editor<%> get-filename] unless the @racket[format] is + @racket['copy] -- see also @method[editor<%> load-file] for more information + on the @racket[format] argument. + + In a @racket[text%] instance, the format can be retrieved + with @method[text% get-file-format]. See also @method[editor<%> on-save-file], @method[editor<%> after-save-file], and @method[editor<%> can-save-file?].