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

fix to work w/ racket renamings

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-30 16:04:03 -04:00
parent 5e9ae84b15
commit b308a52240
3 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/drscheme/private/auto-language.rkt
View File

@ -80,4 +80,4 @@
;; If tp contains a snip, read-line fails. ;; If tp contains a snip, read-line fails.
(read-line tp))]) (read-line tp))])
(and (string? l1) (and (string? l1)
(regexp-match? #rx"#lang .*$" l1)))) (regexp-match? #rx"#lang .*$" (assert l1 string?)))))

14
collects/drscheme/private/insert-large-letters.rkt
View File

@ -1,4 +1,4 @@
#lang typed/scheme/base ;/no-check #lang typed/scheme/base
(require typed/mred/mred (require typed/mred/mred
typed/framework/framework typed/framework/framework
@ -11,7 +11,7 @@
([set-bm ((Instance Bitmap%) -> Void)]))) ([set-bm ((Instance Bitmap%) -> Void)])))
(require/typed "bitmap-message.ss" (require/typed "bitmap-message.rkt"
[bitmap-message% Bitmap-Message%]) [bitmap-message% Bitmap-Message%])
(provide insert-large-letters) (provide insert-large-letters)
@ -23,8 +23,8 @@
(not (equal? str ""))) (not (equal? str "")))
(render-large-letters comment-prefix comment-character (get-chosen-font) str edit) (render-large-letters comment-prefix comment-character (get-chosen-font) str edit)
(void)))) (void))))
#;
(preferences:set-default 'drscheme:large-letters-font #f (λ: ([x : Any]) (preferences:set-default 'drracket:large-letters-font #f (λ: ([x : Any])
(or (and (pair? x) (or (and (pair? x)
(string? (car x)) (string? (car x))
(let ([i (cdr x)]) (let ([i (cdr x)])
@ -41,7 +41,7 @@
(: get-chosen-font (-> (Instance Font%))) (: get-chosen-font (-> (Instance Font%)))
(define (get-chosen-font) (define (get-chosen-font)
(let ([pref-val (preferences:get 'drscheme:large-letters-font)]) (let ([pref-val (preferences:get 'drracket:large-letters-font)])
(cond (cond
[pref-val [pref-val
(let ([candidate (send the-font-list find-or-create-font (cdr pref-val) (car pref-val) 'default 'normal 'normal)]) (let ([candidate (send the-font-list find-or-create-font (cdr pref-val) (car pref-val) 'default 'normal 'normal)])
@ -78,10 +78,10 @@
(get-face-list))] (get-face-list))]
[callback [callback
(λ: ([x : Any] [y : Any]) (λ: ([x : Any] [y : Any])
(let ([old (preferences:get 'drscheme:large-letters-font)] (let ([old (preferences:get 'drracket:large-letters-font)]
[choice (send font-choice get-selection)]) [choice (send font-choice get-selection)])
(when choice (when choice
(preferences:set 'drscheme:large-letters-font (preferences:set 'drracket:large-letters-font
(cons (list-ref (get-face-list) (cons (list-ref (get-face-list)
choice) choice)
(if old (if old

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

@ -34,9 +34,9 @@
[gui-utils:ok/cancel-buttons [gui-utils:ok/cancel-buttons
((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))]) ((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))])
(require/typed/provide "prefs-contract.ss" (require/typed/provide "prefs-contract.rkt"
[preferences:get-drracket: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)) (require (only-in "prefs-contract.rkt" preferences:get))
(provide preferences:get) (provide preferences:get)