adjust the drawing of the online check syntax dot when switching languages

closes PR 12366 (if it wasn't closed before, that is)
2011-11-30 16:08:34 -06:00 · 2011-11-30 16:08:34 -06:00 · 1717fb74cd
commit 1717fb74cd
parent 082978effe
1 changed files with 1 additions and 0 deletions
--- 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)