add a missing arg to jump-to-next-callback

closes PR 13560
2013-02-26 21:36:46 -06:00 · 2013-02-26 21:36:46 -06:00 · 574fc8f50f
commit 574fc8f50f
parent 9621a58c4c
1 changed files with 1 additions and 1 deletions
--- a/collects/drracket/private/syncheck/gui.rkt
+++ b/collects/drracket/private/syncheck/gui.rkt
@ -1178,7 +1178,7 @@ If the namespace does not, they are colored the unbound color.
                    (make-object menu-item%
                      jump-to-next-bound-occurrence
                      menu
-                      (λ (item evt) (jump-to-next-callback pos text)))
+                      (λ (item evt) (jump-to-next-callback pos text #f)))
                    (make-object menu-item%
                      jump-to-binding
                      menu