diff --git a/collects/drracket/private/syncheck/blueboxes-gui.rkt b/collects/drracket/private/syncheck/blueboxes-gui.rkt index f6cfaeaf0a..3bad566086 100644 --- a/collects/drracket/private/syncheck/blueboxes-gui.rkt +++ b/collects/drracket/private/syncheck/blueboxes-gui.rkt @@ -507,7 +507,7 @@ (define/private (in-lock/in-read-more? evt) (cond [(send evt leaving?) (values #f #f)] - [(get-show-docs?) + [(and (get-show-docs?) (get-dc)) (define dc-x (send evt get-x)) (define dc-y (send evt get-y)) (define-values (br bt bmp-x bmp-y) (get-box-upper-right-and-lock-coordinates))