[racket] How to disable a couple of things in drracket
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