From f22aaec21dffb68a16116cb56aef0a6385e7e6b0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 4 Nov 2012 19:46:32 -0600 Subject: [PATCH] the 'audit the invalidate-bitmap-cache' commit (2 commits ago) avoided running the 'redraw the definitions/interactions label' timer when the language didn't ask for those labels; this commit also avoids running the timer when the user has disabled the labels --- collects/drracket/private/module-language.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 0d952e0071..7ce9dbc8ba 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -1819,7 +1819,8 @@ (update-recently-typed #t) (set! fade-amount 0) (send recently-typed-timer stop) - (when lang-wants-big-defs/ints-labels? + (when (and lang-wants-big-defs/ints-labels? + (preferences:get 'drracket:defs/ints-labels)) (send recently-typed-timer start 10000 #t))) (super on-char evt))