From f5083754c59edb84616dbbd82aa2e1d2c911ef9b Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 12 Nov 1996 22:34:54 +0000
Subject: [PATCH] cleaned up mred:message-box to wx:message-box for pref errors

original commit: b973e879c5381837e1b6c653c0af55f11327d341
---
 collects/mred/prefs.ss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss
index 7e017c1b..8f1a1adb 100644
--- a/collects/mred/prefs.ss
+++ b/collects/mred/prefs.ss
@@ -163,7 +163,8 @@
     (mred:exit:insert-exit-callback 
      (lambda ()
        (with-handlers ((void (lambda (exn)
-			       (wx:message-box (exn-message exn)))))
+			       (mred:message-box (format "exception raied while saving prefs: ~a"
+							 (exn-message exn))))))
 	 (save-user-preferences))))
 
     (define read-user-preferences