<div dir="ltr">After thinking about this for a while, not particularly liking any of the other suggestions and failing to come up with better ones myself, I've just pushed something so the arrows can be disabled (without disabling all of the background expansion features) as requested by Tobias. At least that way we can address the immediate problem.<div> </div><div style>Robby</div></div><div class="gmail_extra"> <div class="gmail_quote">On Thu, Nov 22, 2012 at 10:00 AM, Tobias Hammer <<a href="mailto:tobias.hammer@dlr.de" target="_blank">tobias.hammer@dlr.de</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The arrows are definitely far more distracting because they overlap everything and pop up whenever i have to click somewhere. The tooltips and the thingy in the top right corner aren't bothering me, it took me quite a while to realize they are there... An option for disabling the arrows and/or adjusting the time before they pop up would be perfect. Tobias<div class="HOEnZb"><div class="h5"> On Thu, 22 Nov 2012 15:25:38 +0100, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> No, not currently (well you could fiddle with the implementation). I guess you find them too distracting as well? Is it just the arrows or also the tooltips? Robby On Thu, Nov 22, 2012 at 1:21 AM, Tobias Hammer <<a href="mailto:tobias.hammer@dlr.de" target="_blank">tobias.hammer@dlr.de</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Is there a way to disable the hover-arrows without disabling the error messages from online compilation? Tobias On Wed, 21 Nov 2012 20:17:59 +0100, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Right click in the circle on the the bottom of right of DrRacket and you should get an option to "disable online compilation". It is also somewhere in the preferences dialog, but that's easier to get to. Robby On Wed, Nov 21, 2012 at 1:13 PM, Grant Rettke <<a href="mailto:grettke@acm.org" target="_blank">grettke@acm.org</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Hi, In DrRacket there are two features: 1. When you mouse over a symbol and arrow and a popuup show the source of that symbol. 2. When the cursor is over a symbol if there is documentation for it this arrow pops up in the upper right hand corner. How do I disable each of these? I looked at every settings in the preferences maybe I'm just not seeing it. Best wishes, -- Grant Rettke | ACM, AMA, COG, IEEE <a href="mailto:grettke@acm.org" target="_blank">grettke@acm.org</a> | <a href="http://www.wisdomandwonder.com/" target="_blank">http://www.wisdomandwonder.com/</a> Wisdom begins in wonder. ((λ (x) (x x)) (λ (x) (x x))) ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </blockquote> ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </blockquote> -- --------------------------------------------------------- Tobias Hammer DLR / Institute of Robotics and Mechatronics Muenchner Str. 20, D-82234 Wessling Tel.: 08153/28-1487 Mail: <a href="mailto:tobias.hammer@dlr.de" target="_blank">tobias.hammer@dlr.de</a> </blockquote></blockquote> -- --------------------------------------------------------- Tobias Hammer DLR / Institute of Robotics and Mechatronics Muenchner Str. 20, D-82234 Wessling Tel.: 08153/28-1487 Mail: <a href="mailto:tobias.hammer@dlr.de" target="_blank">tobias.hammer@dlr.de</a> </div></div></blockquote></div> </div>