From b286673c69e3b474616b59c2eaefe72e7eabb4cc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 22 Jun 2010 15:22:45 -0500 Subject: [PATCH] removed an unused style --- collects/drracket/private/main.rkt | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/collects/drracket/private/main.rkt b/collects/drracket/private/main.rkt index b247d4c2ee..aeb2cfc929 100644 --- a/collects/drracket/private/main.rkt +++ b/collects/drracket/private/main.rkt @@ -560,18 +560,7 @@ (drracket:frame:create-root-menubar) (preferences:set 'framework:exit-when-no-frames #f)] [else - (preferences:set 'framework:exit-when-no-frames #t)]) - - -;; is this used anywhere? -(let* ([sl (editor:get-standard-style-list)] - [sd (make-object style-delta%)]) - (send sd set-delta-foreground (make-object color% 255 0 0)) - (send sl new-named-style - "drscheme:text:ports err" - (send sl find-or-create-style - (send sl find-named-style "text:ports err") - sd))) + (preferences:set 'framework:exit-when-no-frames #t)]) (define repl-error-pref 'drracket:read-eval-print-loop:error-color)