*** empty log message ***

original commit: bb20ee972741a42d7d2d924f3f706e1d8a3b2be9
1996-10-07 22:23:38 +00:00 · 1996-10-07 22:23:38 +00:00 · 4a9408a4cc
commit 4a9408a4cc
parent d05811a657
1 changed files with 5 additions and 1 deletions
--- 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