cleaned up mred:message-box to wx:message-box for pref errors

original commit: b973e879c5381837e1b6c653c0af55f11327d341
1996-11-12 22:34:54 +00:00 · 1996-11-12 22:34:54 +00:00 · f5083754c5
commit f5083754c5
parent c03c506456
1 changed files with 2 additions and 1 deletions
--- 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