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))