From 3573d616367fd4e73fb5fa1c2c2dd184acce6dfb Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 4 Aug 2012 08:55:45 -0500 Subject: [PATCH] fix test for when the "hide big labels" popup menu appears --- 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 104f53c054..dcdcadc89d 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -1813,7 +1813,8 @@ (set! inside? new-inside?) (invalidate-bitmap-cache 0 0 'display-end 'display-end)) (cond - [(and (preferences:get 'drracket:defs/ints-labels) + [(and lang-wants-big-defs/ints-labels? + (preferences:get 'drracket:defs/ints-labels) (send evt button-down?) (get-admin)) (define admin (get-admin))