What I was imagining:<br>Place the mouse on some identifier. Press (and keep pressed) the show-arrows key. This shows the arrows for the given id (and only of this one). As long as you keep the button pressed, the arrows stay on, even if you move the mouse. Once you release the button, the arrows go away.<br>

Variant: Press and release the key shortcut to show the arrows for the id under the mouse (at the time of pressing), then press and release it to remove the arrows. Although this one is more similar to the &quot;tick-arrows&quot; action, without the need to get back to the initial id to remove the arrows.<br>

<br>I guess my first idea is more useful when one wants to see a few id-bindings (and arrows) and the variant is better for one id-arrows only. Your idea is probably better when one wants to see several id-bindings, e.g., to analyze a whole chunk of a module.<br>

In general, I only need to look at one or a few bindings in the same time window.<br><br>Also, I would prefer that when I mouse-hover + key-press some id when not pointing on its definition, this actually shows the arrows from the definitions of the id (if inside the same module), instead of just one pointing from the current id to its definition.<br>

<br>But that&#39;s just a suggestion of course.<br><br>Laurent<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Nov 22, 2012 at 5:39 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think you&#39;re thinking of something different than I was. I was<br>
imagining that if the key was held down, then the arrows would appears<br>
as they currently do and if the key was not help down, then they would<br>
not appear.<br>
<br>
I&#39;m not quite getting what you have in mind. Are you thinking that if<br>
you move onto the arrow with the key held down and then you move off<br>
again, then arrows stay? Without having to right-click and &quot;tack&quot; the<br>
arrows? If so, how do you imagine the arrows would go away?<br>
<span class="HOEnZb"><font color="#888888"><br>
Robby<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Thu, Nov 22, 2012 at 10:26 AM, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt; wrote:<br>
&gt; I would like that too, plus if they could stick as long as the key is<br>
&gt; pressed (while moving the sliders with the mouse for example), it would be<br>
&gt; even better (instead of making them sticky, sliding down, and then needing<br>
&gt; to get back to unstick them).<br>
&gt;<br>
&gt; Laurent<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; On Thu, Nov 22, 2012 at 5:04 PM, Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;<br>
&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; What if they only showed up when you hold down a modifier key? (I<br>
&gt;&gt; think (hope...) that that isn&#39;t being used for anything yet.)<br>
&gt;&gt;<br>
&gt;&gt; Robby<br>
&gt;&gt;<br>
&gt;&gt; On Thu, Nov 22, 2012 at 10:00 AM, Tobias Hammer &lt;<a href="mailto:tobias.hammer@dlr.de">tobias.hammer@dlr.de</a>&gt;<br>
&gt;&gt; wrote:<br>
&gt;&gt; &gt; The arrows are definitely far more distracting because they overlap<br>
&gt;&gt; &gt; everything and pop up whenever i have to click somewhere. The tooltips<br>
&gt;&gt; &gt; and<br>
&gt;&gt; &gt; the thingy in the top right corner aren&#39;t bothering me, it took me quite<br>
&gt;&gt; &gt; a<br>
&gt;&gt; &gt; while to realize they are there...<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt; An option for disabling the arrows and/or adjusting the time before they<br>
&gt;&gt; &gt; pop<br>
&gt;&gt; &gt; up would be perfect.<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt; Tobias<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt; On Thu, 22 Nov 2012 15:25:38 +0100, Robby Findler<br>
&gt;&gt; &gt; &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt;&gt; No, not currently (well you could fiddle with the implementation).<br>
&gt;&gt; &gt;&gt;<br>
&gt;&gt; &gt;&gt; I guess you find them too distracting as well? Is it just the arrows<br>
&gt;&gt; &gt;&gt; or also the tooltips?<br>
&gt;&gt; &gt;&gt;<br>
&gt;&gt; &gt;&gt; Robby<br>
&gt;&gt; &gt;&gt;<br>
&gt;&gt; &gt;&gt; On Thu, Nov 22, 2012 at 1:21 AM, Tobias Hammer &lt;<a href="mailto:tobias.hammer@dlr.de">tobias.hammer@dlr.de</a>&gt;<br>
&gt;&gt; &gt;&gt; wrote:<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt; Is there a way to disable the hover-arrows without disabling the error<br>
&gt;&gt; &gt;&gt;&gt; messages from online compilation?<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt; Tobias<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt; On Wed, 21 Nov 2012 20:17:59 +0100, Robby Findler<br>
&gt;&gt; &gt;&gt;&gt; &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt; Right click in the circle on the the bottom of right of DrRacket and<br>
&gt;&gt; &gt;&gt;&gt;&gt; you should get an option to &quot;disable online compilation&quot;. It is also<br>
&gt;&gt; &gt;&gt;&gt;&gt; somewhere in the preferences dialog, but that&#39;s easier to get to.<br>
&gt;&gt; &gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt; Robby<br>
&gt;&gt; &gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt; On Wed, Nov 21, 2012 at 1:13 PM, Grant Rettke &lt;<a href="mailto:grettke@acm.org">grettke@acm.org</a>&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt; wrote:<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; Hi,<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; In DrRacket there are two features:<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; 1. When you mouse over a symbol and arrow and a popuup show the<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; source<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; of that symbol.<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; 2. When the cursor is over a symbol if there is documentation for it<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; this arrow pops up in the upper right hand corner.<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; How do I disable each of these? I looked at every settings in the<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; preferences maybe I&#39;m just not seeing it.<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; Best wishes,<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; --<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; Grant Rettke | ACM, AMA, COG, IEEE<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; <a href="mailto:grettke@acm.org">grettke@acm.org</a> | <a href="http://www.wisdomandwonder.com/" target="_blank">http://www.wisdomandwonder.com/</a><br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; Wisdom begins in wonder.<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; ((ë (x) (x x)) (ë (x) (x x)))<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt; ____________________<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;   Racket Users list:<br>
&gt;&gt; &gt;&gt;&gt;&gt;&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;&gt; &gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;&gt; ____________________<br>
&gt;&gt; &gt;&gt;&gt;&gt;   Racket Users list:<br>
&gt;&gt; &gt;&gt;&gt;&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt;<br>
&gt;&gt; &gt;&gt;&gt; --<br>
&gt;&gt; &gt;&gt;&gt; ---------------------------------------------------------<br>
&gt;&gt; &gt;&gt;&gt; Tobias Hammer<br>
&gt;&gt; &gt;&gt;&gt; DLR / Institute of Robotics and Mechatronics<br>
&gt;&gt; &gt;&gt;&gt; Muenchner Str. 20, D-82234 Wessling<br>
&gt;&gt; &gt;&gt;&gt; Tel.: 08153/28-1487<br>
&gt;&gt; &gt;&gt;&gt; Mail: <a href="mailto:tobias.hammer@dlr.de">tobias.hammer@dlr.de</a><br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt; --<br>
&gt;&gt; &gt; ---------------------------------------------------------<br>
&gt;&gt; &gt; Tobias Hammer<br>
&gt;&gt; &gt; DLR / Institute of Robotics and Mechatronics<br>
&gt;&gt; &gt; Muenchner Str. 20, D-82234 Wessling<br>
&gt;&gt; &gt; Tel.: 08153/28-1487<br>
&gt;&gt; &gt; Mail: <a href="mailto:tobias.hammer@dlr.de">tobias.hammer@dlr.de</a><br>
&gt;&gt;<br>
&gt;&gt; ____________________<br>
&gt;&gt;   Racket Users list:<br>
&gt;&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;<br>
&gt;<br>
</div></div></blockquote></div><br></div>