<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">When I'm using online check syntax, I often look at the lines leaving an identifier and wonder: is that just one line, or are there two or three? When lines overlap, there's no easy way to tell. This can be important in refactoring decisions, or in debugging (how many uses of this thing are there to check?).<div><br></div><div>Let me show you what I mean:</div><div><br></div><div><img height="377" width="240" apple-width="yes" apple-height="yes" id="f8b3d762-ab53-4d41-b583-7fe132154ffb" src="cid:BB5A3BC2-171F-4CE0-8F71-983479CE41EB"></div><div><br></div><div>How many uses of 'x' are there?</div><div><br></div><div>I decided to spend a few minutes digging through the source, and came up with this *EXTREMELY ROUGH* hack which helps me. :</div><div><br></div><div>oiseau:...plt/collects/drracket/private/syncheck clements> git diff gui.rkt<br>diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt<br>index 5f691bd..e69b9c7 100644<br>--- a/collects/drracket/private/syncheck/gui.rkt<br>+++ b/collects/drracket/private/syncheck/gui.rkt<br>@@ -1069,6 +1069,11 @@ If the namespace does not, they are colored the unbound color.<br> [var-arrows (filter var-arrow? arrows)]<br> [add-menus (append (map cdr (filter pair? vec-ents))<br> (filter procedure? vec-ents))])<br>+ (make-object menu-item%<br>+ (string-append ">> " (number->string (length arrows))<br>+ " arrows from this identifier")<br>+ menu<br>+ (λ (item evt) (void)))<br> (unless (null? arrows)<br> (make-object menu-item%<br> (string-constant cs-tack/untack-arrow)<br><br></div><div><br></div><div>Let me just emphasize how rough this hack is: when I use it on a use of an identifier rather than a definition, it just shows the number 1, because that's the number of arrows--that is, the one that goes back to the definition.</div><div><br></div><div>Keeping its limitations in mind, though, it's really nice to be able to see:</div><div><br></div><div><img height="316" width="393" apple-width="yes" apple-height="yes" id="360cd930-72db-44ea-8fbe-649b5d2b4818" src="cid:084057FB-B0F7-4E6F-B39D-6D2AC9E0210B"></div><div><br></div><div><br></div><div>Would others find this useful?</div><div><br></div><div>John</div><div><br></div><div><br></div></body></html>