If that can help, I narrowed down the delay to new files only, after typing a known symbol only. When opening an existing file, no matter what I type in, no delay. If I start a fresh DrRacket, I can type anything in the definitions window with no delay. The delay only happens if I type a known function name, for example ‘define’. If I type ‘defind’, there’s no delay. The delay also appears in Scheme mode, and with background expansion disabled. No delay in Text mode, which makes sense.
I’m currently looking at the definitions-text from unit.rkt, to see where’s the hook that detects symbols. I have the day off, and I’m enjoying this very much. Cheers, Dex From: Robby Findler <ro...@cs.northwestern.edu> Sent: Tuesday, May 5, 2020 6:18 PM To: Gustavo Massaccesi <gust...@oma.org.ar> Cc: Dexter Lagan <dexterla...@gmail.com>; Matthew Flatt <mfl...@cs.utah.edu>; Racket Users <racket-users@googlegroups.com> Subject: Re: [racket-users] Questions about working on DrRacket and gui On Tue, May 5, 2020 at 10:36 AM Gustavo Massaccesi <gust...@oma.org.ar <mailto:gust...@oma.org.ar> > wrote: I try to encourage people to participate, but be careful because this task is probably too big for a first contribution. GUI is difficult, DrRacket has a lot of moving parts, and opening DrRacket inside DrRacket is possible but weird. +1 I think the guess of Matthew is correct, it´s a problem with the blue arrow with the docs. There is no pause while you type numbers but when you type a letter or +-*/... there is a pause of 1 or 2 seconds. I didn't see the code but my guess is that the docs are loaded lazily in a thread and when DrRackets see something like an identifier it waits until the thread is ready. It would be nice if the blue arrow is disabled until the docs are completely loaded lazily. I think Robby can tell if I'm correct and how hard is to fix this. Definitely sounds like an extremely actionable hypothesis to investigate and, if it turns out to be correct, I guess it should be a simple matter of programming to do what you're suggesting. Robby -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/010201d623a1%245c4e23e0%2414ea6ba0%24%40gmail.com.
