diff --git a/collects/drracket/private/syncheck/blueboxes-gui.rkt b/collects/drracket/private/syncheck/blueboxes-gui.rkt
index 7f00ec8707..6ef7897c10 100644
--- a/collects/drracket/private/syncheck/blueboxes-gui.rkt
+++ b/collects/drracket/private/syncheck/blueboxes-gui.rkt
@@ -348,9 +348,13 @@
             (define bmp-view-x (+ view-left blue-box-margin))
             (define bmp-view-y (- view-bottom blue-box-margin lock-height))
             (cond
-              [(or (bmp-bluebox-x . <= . bmp-view-x)
-                   (bmp-bluebox-y . >= . bmp-view-y))
+              [(and (bmp-bluebox-x . <= . bmp-view-x)
+                    (bmp-bluebox-y . >= . bmp-view-y))
                (values br bt bmp-view-x bmp-view-y)]
+              [(bmp-bluebox-y . >= . bmp-view-y)
+               (values br bt bmp-bluebox-x bmp-view-y)]
+              [(bmp-bluebox-x . <= . bmp-view-x)
+               (values br bt bmp-view-x bmp-bluebox-y)]
               [else
                (values br bt bmp-bluebox-x bmp-bluebox-y)])]
            [else