From 65fc1c4e8fb9a6918b7368f79ef9b0e29836d8e9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 22 Dec 2015 10:58:52 -0700 Subject: [PATCH] put-file: clarify filter and extension handling on Windows --- gui-doc/scribblings/gui/dialog-funcs.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/gui-doc/scribblings/gui/dialog-funcs.scrbl b/gui-doc/scribblings/gui/dialog-funcs.scrbl index 8ef81243..f698e1f5 100644 --- a/gui-doc/scribblings/gui/dialog-funcs.scrbl +++ b/gui-doc/scribblings/gui/dialog-funcs.scrbl @@ -118,11 +118,11 @@ If @racket[directory] is not @racket[#f], it is used as the starting prefix. On Windows, if @racket[extension] is not @racket[#f], the returned path - will get a default extension if the user does not supply one. If - @racket[extension] is the empty string, then the extension is derived + will get a default extension if the user does not supply one. The extension is derived from the user's @racket[filters] choice if the corresponding pattern is - of the form @racket[(string-append "*." extension)]; if the pattern is - @racket["*.*"], then no default extension is added. Finally, if + of the form @racket[(string-append "*." _an-extension)], and the first such + pattern is used if the choice has multiple patterns. If the user's choice has the pattern + @racket["*.*"] and @racket[extension] is the empty string, then no default extension is added. Finally, if @racket[extension] is any string other than the empty string, @racket[extension] is used as the default extension when the user's @racket[filters] choice has the pattern @racket["*.*"]. Meanwhile, the