[racket] How to disable a couple of things in drracket

+1 Please keep the arrows as they are. These things are convenient and it is easy to place the mouse so that they don't show up. 

(Perhaps mice users need a preference that disables parts of the arrow menu or the arrows.) 


On Nov 23, 2012, at 10:06 AM, Tobias Hammer wrote:

> I think, that could get annoying if you want to inspect a larger number if definitions. You would have to press the key for quite a long time.
> 
> Another shortcut, that many IDEs offer is that you can jump to the place of definition of something via Ctrl+Left-Mouse. That would have a subset (the at least for me, most used one) of the arrow-functionality always available. Together with the option to enable/disable the arrows i would guess it fits most use cases.
> 
> Tobias
> 
> 
> On Thu, 22 Nov 2012 17:04:08 +0100, Robby Findler <robby at eecs.northwestern.edu> wrote:
> 
>> 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
>> 
>> On Thu, Nov 22, 2012 at 10:00 AM, Tobias Hammer <tobias.hammer at dlr.de> 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
>>> <robby at eecs.northwestern.edu> 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 <tobias.hammer at dlr.de>
>>>> 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
>>>>> <robby at eecs.northwestern.edu> 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 <grettke at acm.org> 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
>>>>>>> grettke at acm.org | http://www.wisdomandwonder.com/
>>>>>>> Wisdom begins in wonder.
>>>>>>> ((λ (x) (x x)) (λ (x) (x x)))
>>>>>>> 
>>>>>>> ____________________
>>>>>>>  Racket Users list:
>>>>>>>  http://lists.racket-lang.org/users
>>>>>> 
>>>>>> 
>>>>>> 
>>>>>> ____________________
>>>>>>  Racket Users list:
>>>>>>  http://lists.racket-lang.org/users
>>>>> 
>>>>> 
>>>>> 
>>>>> 
>>>>> --
>>>>> ---------------------------------------------------------
>>>>> Tobias Hammer
>>>>> DLR / Institute of Robotics and Mechatronics
>>>>> Muenchner Str. 20, D-82234 Wessling
>>>>> Tel.: 08153/28-1487
>>>>> Mail: tobias.hammer at dlr.de
>>> 
>>> 
>>> 
>>> --
>>> ---------------------------------------------------------
>>> Tobias Hammer
>>> DLR / Institute of Robotics and Mechatronics
>>> Muenchner Str. 20, D-82234 Wessling
>>> Tel.: 08153/28-1487
>>> Mail: tobias.hammer at dlr.de
> 
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users