From a9962b15bd595bf2701c24fe09b03068657dee40 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 2 Aug 1997 20:35:57 +0000 Subject: [PATCH] fixed bug original commit: 06e4de8a12c52e7d3803c1a086d50323e7e13725 --- collects/mred/prefs.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index c96c9662..f7693498 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -235,12 +235,12 @@ (when (file-exists? preferences-filename) (let ([err (lambda (input) - (mred:gui-utils:message-box (format "found bad pref: ~n~a" input) - "Preferences"))]) + (wx:message-box (format "found bad pref: ~n~a" input) + "Preferences"))]) (let loop ([input (with-handlers ([(lambda (exn) #t) (lambda (exn) - (mred:gui-utils:message-box + (wx:message-box (format "Error saving preferences~n~a" (exn-message exn)) "Error reading preferences")