From 9ab43903c83961567dedf83fd888fe9be03ee770 Mon Sep 17 00:00:00 2001 From: John Clements Date: Wed, 18 Jan 2012 14:51:34 -0800 Subject: [PATCH] make sure initial update goes on eventspace thread (cherry picked from commit 481bc2f00fca5f10d3fbaa25604aecb77f1f6207) --- collects/stepper/private/view-controller.rkt | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/collects/stepper/private/view-controller.rkt b/collects/stepper/private/view-controller.rkt index c7da560121..996ece769f 100644 --- a/collects/stepper/private/view-controller.rkt +++ b/collects/stepper/private/view-controller.rkt @@ -375,8 +375,9 @@ (send (send s-frame edit-menu:get-undo-item) enable #f) (send (send s-frame edit-menu:get-redo-item) enable #f) + (define stepper-frame-eventspace (send s-frame get-eventspace)) ;; START THE MODEL - (start-listener-thread (send s-frame get-eventspace)) + (start-listener-thread stepper-frame-eventspace) (model:go program-expander-prime ;; what do do with the results: @@ -393,8 +394,12 @@ (thread (lambda () (semaphore-wait first-step-sema) - (jump-to-beginning) - (enable-all-buttons))) + (parameterize + ([current-eventspace stepper-frame-eventspace]) + (queue-callback + (lambda () + (jump-to-beginning) + (enable-all-buttons)))))) s-frame)