From a22d370818a95c127a962ae6a38905139c626c22 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 29 Apr 2011 21:11:23 -0500 Subject: [PATCH] fix copy and paste bug (and re-indent a mis-indented line) --- collects/stepper/stepper-tool.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/stepper/stepper-tool.rkt b/collects/stepper/stepper-tool.rkt index a9c7acd19f..3b57910951 100644 --- a/collects/stepper/stepper-tool.rkt +++ b/collects/stepper/stepper-tool.rkt @@ -302,7 +302,7 @@ (send (send (get-frame) get-stepper-button) enable #t)) (define/override (disable-evaluation) - (super enable-evaluation) + (super disable-evaluation) (send (send (get-frame) get-stepper-button) enable #f)) (define/public (current-lang-supports-stepper?) @@ -314,7 +314,7 @@ (define/augment (on-close) (when stepper-frame - (send stepper-frame original-program-gone)) + (send stepper-frame original-program-gone)) (inner (void) on-close)) ))