From 5e242260a99c7e2d0a532121c9158db4a0071c3e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 25 Oct 1996 21:44:48 +0000 Subject: [PATCH] fixed some html bugs original commit: 5383610162b34cd71dafef8175cd32865d75f0ac --- collects/mred/finder.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/mred/finder.ss b/collects/mred/finder.ss index ab7714ad..d72e4a4a 100644 --- a/collects/mred/finder.ss +++ b/collects/mred/finder.ss @@ -317,7 +317,8 @@ (show #f)] [(directory-exists? t) (set-directory (mzlib:file:normalize-path t))] - [else (wx:bell)])))]) + [else (wx:message-box (format "~a doesn't exist" t))])))]) + (sequence (when (eq? wx:platform 'unix) (make-object mred:container:check-box% period-panel