unbreak check syntax

rfindler · rmculpepper · commit 0e8ed01cde39 · 2013-01-28T13:16:08.000-05:00
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. (cherry picked from commit 3e5a9ca)
diff --git 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))
