From c52bc4c5241381bf871aa088f5e12afb30f361c0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 5 Sep 2010 07:41:00 -0500 Subject: [PATCH] removed unused method --- collects/drracket/private/rep.rkt | 7 ------- 1 file changed, 7 deletions(-) diff --git a/collects/drracket/private/rep.rkt b/collects/drracket/private/rep.rkt index a63158f8ad..289f80d965 100644 --- a/collects/drracket/private/rep.rkt +++ b/collects/drracket/private/rep.rkt @@ -1586,13 +1586,6 @@ TODO (primitive-dispatch-handler eventspace)]))]) drscheme-event-dispatch-handler)))) - (define/public (new-empty-console) - (queue-user/wait - (λ () ; =User=, =No-Breaks= - (send (drracket:language-configuration:language-settings-language user-language-settings) - first-opened - (drracket:language-configuration:language-settings-settings user-language-settings))))) - (define/public (reset-console) (when (thread? thread-killed) (kill-thread thread-killed))