diff --git a/collects/typed/framework/framework.rkt b/collects/typed/framework/framework.rkt index ee624fbc..f5341ed5 100644 --- a/collects/typed/framework/framework.rkt +++ b/collects/typed/framework/framework.rkt @@ -35,7 +35,7 @@ ((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))]) (require/typed/provide "prefs-contract.ss" - [preferences:get-drscheme:large-letters-font (-> (U #f (Pair String Integer)))]) + [preferences:get-drracket:large-letters-font (-> (U #f (Pair String Integer)))]) (require (only-in "prefs-contract.ss" preferences:get)) (provide preferences:get) diff --git a/collects/typed/framework/prefs-contract.rkt b/collects/typed/framework/prefs-contract.rkt index dd62fb14..9abefcc0 100644 --- a/collects/typed/framework/prefs-contract.rkt +++ b/collects/typed/framework/prefs-contract.rkt @@ -4,10 +4,10 @@ framework/framework) (provide (rename-out [-preferences:get preferences:get]) - preferences:get-drscheme:large-letters-font) + preferences:get-drracket:large-letters-font) -(define (preferences:get-drscheme:large-letters-font) - (preferences:get 'drscheme:large-letters-font)) +(define (preferences:get-drracket:large-letters-font) + (preferences:get 'drracket:large-letters-font)) (define-syntax (-preferences:get stx) (syntax-case stx (quote)