From 113fa13171a6c6d6f622b58e1fddb2c43eb23f9f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 30 Apr 2010 16:21:18 -0400 Subject: [PATCH] remove dead code --- collects/drscheme/private/insert-large-letters.rkt | 8 -------- 1 file changed, 8 deletions(-) diff --git a/collects/drscheme/private/insert-large-letters.rkt b/collects/drscheme/private/insert-large-letters.rkt index d53ca59fa1..c657d9fa01 100644 --- 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)