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.ham...@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 < > ro...@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.ham...@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 >>> <ro...@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 <gret...@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 >>>>> gret...@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.ham...@dlr.de >>> >> > > -- > ------------------------------**--------------------------- > Tobias Hammer > DLR / Institute of Robotics and Mechatronics > Muenchner Str. 20, D-82234 Wessling > Tel.: 08153/28-1487 > Mail: tobias.ham...@dlr.de >
____________________ Racket Users list: http://lists.racket-lang.org/users
