From 4a9408a4cca984ef4a0890130f726e2cfd9edb95 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 7 Oct 1996 22:23:38 +0000
Subject: [PATCH] *** empty log message ***

original commit: bb20ee972741a42d7d2d924f3f706e1d8a3b2be9
---
 collects/mred/prefs.ss | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss
index d044fea3..8c59e822 100644
--- a/collects/mred/prefs.ss
+++ b/collects/mred/prefs.ss
@@ -157,7 +157,11 @@
 	      'replace)	  
 	  (mred:debug:printf 'prefs "saved user preferences"))))
     
-    (mred:exit:insert-exit-callback save-user-preferences)
+    (mred:exit:insert-exit-callback 
+     (lambda ()
+       (with-handlers ((void (lambda (exn)
+			       (wx:message-box (exn-message exn)))))
+	 (save-user-preferences))))
 
     (define read-user-preferences 
       (let ([parse-pref