Oh, I see. I've pushed that change. Thanks, Robby
On Fri, Jun 12, 2015 at 8:08 PM, Neil Van Dyke <[email protected]> wrote: > Robby Findler wrote on 06/12/2015 09:01 PM: >> >> I think DrRacket will kill the old execution when you hit run. Are you not >> seeing that? > > > I just tested with 6.1.1 on Linux, and (with a `sleep` running) neither the > button click nor Ctrl-R responds until you manually break the execution with > button or key combination. > > +1 on John's question; this need to manually break still occasionally > results in pilot error for me, and I've been using this UI since DrScheme > v103. > > Neil V. > > > -- > 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 [email protected]. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
