diff --git a/collects/racket/snip/private/style.rkt b/collects/racket/snip/private/style.rkt index 1b1e7dc463..a650c35aa6 100644 --- a/collects/racket/snip/private/style.rkt +++ b/collects/racket/snip/private/style.rkt @@ -23,7 +23,7 @@ (define editor-stream-out% object%) (define default-size - (or (get-preference* 'MrEd:default-font-size) + (or (get-preference* 'GRacket:default-font-size) (case (system-type) [(windows) 10] [else 12])))