I would like that too, plus if they could stick as long as the key is pressed (while moving the sliders with the mouse for example), it would be even better (instead of making them sticky, sliding down, and then needing to get back to unstick them). Laurent <div class="gmail_extra"> <div class="gmail_quote">On Thu, Nov 22, 2012 at 5:04 PM, 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">What if they only showed up when you hold down a modifier key? (I think (hope...) that that isn't being used for anything yet.) Robby <div class="HOEnZb"><div class="h5"> On Thu, Nov 22, 2012 at 10:00 AM, Tobias Hammer <<a href="mailto:tobias.hammer@dlr.de">tobias.hammer@dlr.de</a>> wrote: > 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 > > > > > On Thu, 22 Nov 2012 15:25:38 +0100, Robby Findler > <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote: > >> 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">tobias.hammer@dlr.de</a>> >> wrote: >>> >>> 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">robby@eecs.northwestern.edu</a>> wrote: >>> >>>> 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">grettke@acm.org</a>> wrote: >>>>> >>>>> >>>>> 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">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> >>>> >>>> >>>> >>>> ____________________ >>>> Racket Users list: >>>> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> >>> >>> >>> >>> >>> -- >>> --------------------------------------------------------- >>> 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">tobias.hammer@dlr.de</a> > > > > -- > --------------------------------------------------------- > 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">tobias.hammer@dlr.de</a> ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </div></div></blockquote></div> </div>