fix pref name

2011-01-20 07:37:34 -07:00 · 2011-01-20 07:37:34 -07:00 · 0a56e0fc6a
commit 0a56e0fc6a
parent bc580ac125
1 changed files with 1 additions and 1 deletions
--- 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])))