From 0295828ffda2cdb887f9165cd4d149b86423945e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 25 Jul 2013 17:25:48 -0400 Subject: [PATCH] Fix contract on editor interface The documented contracted inaccurately described what the actual code had implemented. original commit: a847f5c11a1ba58e8fd2c7702d3ff7871911e377 --- pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 714ae0b8..9779ba75 100644 --- a/pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl +++ b/pkgs/gui-pkgs/gui-doc/scribblings/gui/editor-intf.scrbl @@ -677,7 +677,7 @@ If the editor is displayed in a single canvas, then the canvas's }} -@defmethod[(get-filename [temp (box/c (or/c any/c #f)) (box #f)]) +@defmethod[(get-filename [temp (or/c (box/c any/c) #f) #f]) (or/c path-string? #f)]{ Returns the path name of the last file saved from or loaded into this