suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

renamed the preferences to drracket:

Browse Source 
original commit: fbf52d6957bde0011b654291b5ba3fd714f976c5
This commit is contained in:
Robby Findler 2010-04-29 11:02:24 -05:00
commit 8692a5c39e
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed/framework/framework.rkt
View File

@ -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)

6
collects/typed/framework/prefs-contract.rkt
View File

@ -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)