From 5f154015617715c8325519120079327b3e9dd6fd Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Mon, 22 Oct 2012 17:09:32 -0400 Subject: [PATCH] macro stepper: fix bug re taking over run button Closes PR 13019 --- collects/macro-debugger/tool.rkt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/macro-debugger/tool.rkt b/collects/macro-debugger/tool.rkt index 5c48147b03..f5716694d1 100644 --- a/collects/macro-debugger/tool.rkt +++ b/collects/macro-debugger/tool.rkt @@ -269,8 +269,12 @@ (set! user-custodian (current-custodian))) (define (uncaught-exception-raised) ;; =user= - ;; formerly shut down user custodian - (void)) + (set! normal-termination? #t) + (parameterize ([current-eventspace drs-eventspace]) + (queue-callback + (λ () + (cleanup) + (custodian-shutdown-all user-custodian))))) (define (show-error-report/tab) ;; =drs= (send the-tab turn-on-error-report) (send (send the-tab get-error-report-text) scroll-to-position 0) @@ -294,7 +298,6 @@ (parameterize ([current-eventspace drs-eventspace]) (queue-callback (λ () - (send the-tab syncheck:clear-highlighting) (cleanup) (custodian-shutdown-all user-custodian))))))