From 0a56e0fc6aaa9a0580f867564802957c63732353 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 20 Jan 2011 07:37:34 -0700 Subject: [PATCH] fix pref name --- collects/racket/snip/private/style.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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])))