diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index 5fcfe10a..2811c593 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -389,6 +389,7 @@ [font-default-string "Default Value"] [font-default-size (case (system-type) [(windows) 10] + [(macosx) 13] [else 12])] [font-section "mred"] [build-font-entry (lambda (x) (string-append "Screen" x "__"))]