diff --git a/collects/mred/private/wxme/style.ss b/collects/mred/private/wxme/style.ss index 8bb830a326..092951786d 100644 --- a/collects/mred/private/wxme/style.ss +++ b/collects/mred/private/wxme/style.ss @@ -1,5 +1,6 @@ #lang scheme/base (require scheme/class + scheme/file (for-syntax scheme/base) "../syntax.ss" "cycle.ss" @@ -18,9 +19,10 @@ write-styles-to-file) (define default-size - (case (system-type) - [(windows) 10] - [else 12])) + (or (get-preference 'MrEd:default-font-size) + (case (system-type) + [(windows) 10] + [else 12]))) (define black-color (make-object color% 0 0 0))