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

[Grant Rettke]

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
gre...@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

[Robby Findler]

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

[Grant Rettke]

Thank you.

[Tobias Hammer]

Is there a way to disable the hover-arrows without disabling the error
messages from online compilation?

Tobias

--
---------------------------------------------------------
Tobias Hammer
DLR / Institute of Robotics and Mechatronics
Muenchner Str. 20, D-82234 Wessling
Tel.: 08153/28-1487
Mail: tobias...@dlr.de

[Robby Findler]

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

[Tobias Hammer]

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 Findler]

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

[Laurent]

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

[Robby Findler]

I think you're thinking of something different than I was. I was
imagining that if the key was held down, then the arrows would appears
as they currently do and if the key was not help down, then they would
not appear.

I'm not quite getting what you have in mind. Are you thinking that if
you move onto the arrow with the key held down and then you move off
again, then arrows stay? Without having to right-click and "tack" the
arrows? If so, how do you imagine the arrows would go away?

Robby

[Laurent]

What I was imagining:
Place the mouse on some identifier. Press (and keep pressed) the show-arrows key. This shows the arrows for the given id (and only of this one). As long as you keep the button pressed, the arrows stay on, even if you move the mouse. Once you release the button, the arrows go away.
Variant: Press and release the key shortcut to show the arrows for the id under the mouse (at the time of pressing), then press and release it to remove the arrows. Although this one is more similar to the "tick-arrows" action, without the need to get back to the initial id to remove the arrows.

I guess my first idea is more useful when one wants to see a few id-bindings (and arrows) and the variant is better for one id-arrows only. Your idea is probably better when one wants to see several id-bindings, e.g., to analyze a whole chunk of a module.
In general, I only need to look at one or a few bindings in the same time window.

Also, I would prefer that when I mouse-hover + key-press some id when not pointing on its definition, this actually shows the arrows from the definitions of the id (if inside the same module), instead of just one pointing from the current id to its definition.

But that's just a suggestion of course.

Laurent

[Tobias Hammer]

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

[Matthias Felleisen]

+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.)

[Robby Findler]

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

[Grant Rettke]

Cool, thanks Robby.

[Tobias Hammer]

Thanks!

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

>>>>>> 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...@dlr.de
>>>>
>>>
>>
>> --

>> ------------------------------**---------------------------

>> Tobias Hammer
>> DLR / Institute of Robotics and Mechatronics
>> Muenchner Str. 20, D-82234 Wessling
>> Tel.: 08153/28-1487
>> Mail: tobias...@dlr.de

____________________