From 5d6a502d580aa959f5f102be47be6f9b22c58791 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 25 Apr 1999 23:45:04 +0000 Subject: [PATCH] fix put-file original commit: 45f97d04a3b5038a82e4b5e3cbc2d8e05bf35ebe --- src/mred/wrap/mred.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mred/wrap/mred.ss b/src/mred/wrap/mred.ss index 064f2dee..5027df12 100644 --- a/src/mred/wrap/mred.ss +++ b/src/mred/wrap/mred.ss @@ -4583,7 +4583,7 @@ [(message parent directory filename) (put-file message parent directory filename #f null)] [(message parent directory filename extension) (put-file message parent directory filename extension null)] [(message parent directory filename extension style) - ((mk-file-selector 'put-file #f) message parent directory filename extension style)])) + ((mk-file-selector 'put-file #t) message parent directory filename extension style)])) (define get-color-from-user (if (not (eq? (system-type) 'unix))