From cebe089e1bbfb7d54f9b146c77c212575ac91101 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 3 Feb 2011 17:59:43 -0600 Subject: [PATCH] don't show themodule langauge opt-in buttons when we're not in the module language anymore (this extra check is necessary because we might have moved languages between the time the timer is started and when it fires) closes PR 11705 Please merge to the release 5.1 branch (cherry picked from commit c119cef915e7e739540eb07bb31693713f2aea0c) --- collects/drracket/private/module-language-tools.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/module-language-tools.rkt b/collects/drracket/private/module-language-tools.rkt index e4360fb184..a230666c34 100644 --- a/collects/drracket/private/module-language-tools.rkt +++ b/collects/drracket/private/module-language-tools.rkt @@ -100,7 +100,9 @@ (unless timer (set! timer (new timer% [notify-callback - (λ () (move-to-new-language))] + (λ () + (when in-module-language? + (move-to-new-language)))] [just-once? #t]))) (send timer stop) (send timer start 200 #t)))))