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

From: Tobias Hammer (tobias.hammer at dlr.de)
Date: Sat Dec 22 03:38:11 EST 2012

Thanks!

On Sat, 22 Dec 2012 05:09:55 +0100, Robby Findler  
<robby at eecs.northwestern.edu> wrote:

> 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.
>
> 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/<http://www.wisdomandwonder.com/>
>>>>>> Wisdom begins in wonder.
>>>>>> ((λ (x) (x x)) (λ (x) (x x)))
>>>>>>
>>>>>> ____________________
>>>>>>   Racket Users list:
>>>>>>   http://lists.racket-lang.org/**users<http://lists.racket-lang.org/users>
>>>>>>
>>>>>
>>>>>
>>>>> ____________________
>>>>>   Racket Users list:
>>>>>   http://lists.racket-lang.org/**users<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


Posted on the users mailing list.