From 1717fb74cd55749a3a5a28498d4caca928bdb55c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 30 Nov 2011 16:08:34 -0600 Subject: [PATCH] adjust the drawing of the online check syntax dot when switching languages closes PR 12366 (if it wasn't closed before, that is) --- collects/drracket/private/module-language.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 7c2b52e870..9641f6b1a1 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -1221,6 +1221,7 @@ (send tmr stop) (send tmr start 250 #t))] [else + (send (get-tab) show-bkg-running 'nothing #f) (hide-module-language-error-panel)])))) (define/public (restart-place)