fix test for when the "hide big labels" popup menu appears

2012-08-04 08:55:45 -05:00 · 2012-08-04 08:55:45 -05:00 · 3573d61636
commit 3573d61636
parent 1a77f4ee0e
1 changed files with 2 additions and 1 deletions
--- 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))