suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cleaned up mred:message-box to mred:gui-utils:message-box

Browse Source 
original commit: 23aebbc40bf8f57a431e2e8664ef31b2799638eb
This commit is contained in:
Robby Findler 1996-11-12 22:36:08 +00:00
parent f5083754c5
commit 0c96529995
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/mred/prefs.ss
View File

@ -163,8 +163,9 @@
(mred:exit:insert-exit-callback
(lambda ()
(with-handlers ((void (lambda (exn)
(mred:message-box (format "exception raied while saving prefs: ~a"
(exn-message exn))))))
(mred:gui-utils:message-box
(format "exception raied while saving prefs: ~a"
(exn-message exn))))))
(save-user-preferences))))
(define read-user-preferences