From cbe1b2dce481f62c683b2ad5911ca3f868b47aac Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Mon, 13 Oct 2008 16:43:24 +0000 Subject: [PATCH] Fixed scribble typesetting error in GUI docs. svn: r12020 --- collects/scribblings/gui/dialog-funcs.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/gui/dialog-funcs.scrbl b/collects/scribblings/gui/dialog-funcs.scrbl index 1c534b7322..657667c878 100644 --- a/collects/scribblings/gui/dialog-funcs.scrbl +++ b/collects/scribblings/gui/dialog-funcs.scrbl @@ -15,7 +15,7 @@ These functions get input from the user and/or display [filename (or/c path-string? false/c) #f] [extension (or/c string? false/c) #f] [style (listof (one-of/c 'packages 'enter-packages)) null] - [filters (listof (list/c string? string?)) @scheme['(("Any" "*.*"))]]) + [filters (listof (list/c string? string?)) '(("Any" "*.*"))]) (or/c path? false/c)]{ Obtains a file pathname from the user via the platform-specific