diff --git a/collects/macro-debugger/tool.rkt b/collects/macro-debugger/tool.rkt index 26d7cbdd5c..a7a910e8d8 100644 --- a/collects/macro-debugger/tool.rkt +++ b/collects/macro-debugger/tool.rkt @@ -158,13 +158,11 @@ (callback (lambda _ (run-macro-stepper)))))) (define/public-final (run-macro-stepper) - (execute #t)) + (send (get-interactions-text) enable-macro-debugging #t) + (send this execute-callback)) (define/override (execute-callback) - (execute #f)) - - (define/private (execute debugging?) - (send (get-interactions-text) enable-macro-debugging debugging?) + (send (get-interactions-text) enable-macro-debugging #f) (super execute-callback)) ;; Hide button for inappropriate languages