From 3e5a9ca3cd24c368f8dcdecd8f77c0f4cf9c9824 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 27 Jan 2013 07:28:52 -0600 Subject: [PATCH] unbreak check syntax get-current-tab may not be the right tab to replay the trace, now that online expansion runs other tabs when the current tab is up to date. --- collects/drracket/private/syncheck/gui.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt index 16eb03c2de..ce100b0a04 100644 --- a/collects/drracket/private/syncheck/gui.rkt +++ b/collects/drracket/private/syncheck/gui.rkt @@ -1584,7 +1584,7 @@ If the namespace does not, they are colored the unbound color. (when (set-syncheck-running-mode bx) ;; reset any previous check syntax information - (let ([tab (get-current-tab)]) + (let ([tab (send defs-text get-tab)]) (send tab syncheck:clear-error-message) (send tab syncheck:clear-highlighting) (send defs-text syncheck:reset-docs-im))