remove dead code

2010-04-30 16:21:18 -04:00 · 2010-04-30 16:21:18 -04:00 · 113fa13171
commit 113fa13171
parent 96da427659
1 changed files with 0 additions and 8 deletions
--- a/collects/drscheme/private/insert-large-letters.rkt
+++ b/collects/drscheme/private/insert-large-letters.rkt
@ -23,14 +23,6 @@
               (not (equal? str "")))
      (render-large-letters comment-prefix comment-character (get-chosen-font) str edit)
      (void))))
-#;
-(preferences:set-default 'drracket:large-letters-font #f (λ: ([x : Any])
-                                                             (or (and (pair? x)
-                                                                      (string? (car x))
-                                                                      (let ([i (cdr x)])
-                                                                        (and (integer? i)
-                                                                             (<= 1 i 255))))
-                                                                 (not x))))

 (: get-default-font (-> (Instance Font%)))
 (define (get-default-font)