From 7c62f8caa02fe5bb60949aa34e6774f939291d67 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 5 Aug 2009 23:08:42 +0000 Subject: [PATCH] PR 10385 svn: r15677 --- collects/drscheme/private/unit.ss | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/drscheme/private/unit.ss b/collects/drscheme/private/unit.ss index ef5609910d..9bae57887a 100644 --- a/collects/drscheme/private/unit.ss +++ b/collects/drscheme/private/unit.ss @@ -1249,7 +1249,9 @@ module browser threading seems wrong. (when (is-current-tab?) (send frame show/hide-warning-message (get-current-execute-warning) - (λ () (clear-execution-state))))) + (λ () + ;; this callback might be run with a different tab ... + (send (send frame get-current-tab) clear-execution-state))))) (define/public (get-directory) (let ([filename (send defs get-filename)]) @@ -1397,8 +1399,7 @@ module browser threading seems wrong. register-toolbar-button get-tabs)) - - + (define frame-mixin (mixin (drscheme:frame:<%> frame:searchable-text<%> frame:delegate<%> frame:open-here<%>) (-frame<%>)