From a153f1ab6a38447dbef34af387ca43b90aad5005 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 12 Oct 2010 08:00:14 -0600 Subject: [PATCH] gtk: fix get-directory dialog original commit: 905594ced3e27eea3b81616c34257482f8576585 --- collects/mred/private/wx/gtk/filedialog.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/wx/gtk/filedialog.rkt b/collects/mred/private/wx/gtk/filedialog.rkt index 535ae829..6423f7e9 100644 --- a/collects/mred/private/wx/gtk/filedialog.rkt +++ b/collects/mred/private/wx/gtk/filedialog.rkt @@ -72,7 +72,7 @@ (define dlg (gtk_file_chooser_dialog_new message (and parent (send parent get-gtk)) (case type - [(dir) 'select-directory] + [(dir) 'select-folder] [(put) 'save] [else 'open]) "gtk-cancel" 'cancel