From 7a34e7ec2752faf63250c855b54ca548529798ba Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 7 Dec 2001 15:51:58 +0000 Subject: [PATCH] . original commit: cd321ea291954375d069ae78a3f61580e899645b --- collects/mred/mred.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index b2a1c8fd..5eed958b 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -2,6 +2,7 @@ (require (prefix wx: (lib "kernel.ss" "mred" "private"))) (require (lib "class.ss") (lib "class100.ss") + (lib "file.ss") (lib "process.ss")) ;;;;;;;;;;;;;;; Constants ;;;;;;;;;;;;;;;;;;;; @@ -5459,7 +5460,9 @@ "not supported by default on this platform" subpath)]))]) ; see if user has overridden defaults - (wx:get-resource "mred" "playcmd" b) + (let ([r (get-preference '|MrEd:playcmd| (lambda () #f))]) + (when (and r (string? r)) + (set-box! b r))) ((if async? (lambda (x) (process x) #t) system) (format (unbox b) (expand-path f)))))))