diff --git a/collects/mred/exit.ss b/collects/mred/exit.ss index 32c9a916..2cdeafb2 100644 --- a/collects/mred/exit.ss +++ b/collects/mred/exit.ss @@ -36,9 +36,9 @@ (define -exit (let*-values ([(exiting?) #f] [(w capW) - (if (eq? wx:platform 'macintosh) - (values "quit" "Quit") - (values "exit" "Exit"))] + (if (eq? wx:platform 'windows) + (values "exit" "Exit") + (values "quit" "Quit"))] [(message) (string-append "Are you sure you want to " w diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index ee80708b..fda3ec25 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -342,9 +342,11 @@ (lambda (button evt) (let ([new-value (mred:gui-utils:get-single-choice - "message" - "caption" - fonts)]) + (format "Please choose a new ~a font" + name) + "Fonts" + fonts + null -1 -1 #t 300 400)]) (unless (null? new-value) (wx:write-resource section @@ -387,6 +389,8 @@ (unbox b) default-font-size)) 1 127 50)) + (make-object mred:message% main + "Restart to see font changes") main)) #f)))