From a3367fd0b4bfade1f322b1af6e32c12a66747c6e Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Fri, 29 Oct 2010 16:54:26 -0600 Subject: [PATCH] macro-stepper: added thread/eventspace check Closes PR 11364 (actually, earlier commit closed) --- collects/macro-debugger/view/view.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/macro-debugger/view/view.rkt b/collects/macro-debugger/view/view.rkt index f77f5cb71d..3556962315 100644 --- a/collects/macro-debugger/view/view.rkt +++ b/collects/macro-debugger/view/view.rkt @@ -38,7 +38,12 @@ (send/i (send/i stepper-frame stepper-frame<%> get-widget) widget<%> add-deriv deriv)))) + ;; PRE: current thread = current eventspace's handler thread (define/public (new-stepper [flags '()]) + (unless (eq? (current-thread) + (eventspace-handler-thread (current-eventspace))) + (error 'macro-stepper-director + "new-stepper method called from wrong thread")) (define stepper-frame (new-stepper-frame)) (define stepper (send/i stepper-frame stepper-frame<%> get-widget)) (send stepper-frame show #t)