From 574fc8f50f8ed365d18d795a6fde2d304f987b1e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 26 Feb 2013 21:36:46 -0600
Subject: [PATCH] add a missing arg to jump-to-next-callback

closes PR 13560
---
 collects/drracket/private/syncheck/gui.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt
index 4bf9e733e1..ae3781a25c 100644
--- 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