Oh, I see. I've pushed that change. Thanks, Robby
On Fri, Jun 12, 2015 at 8:08 PM, Neil Van Dyke <n...@neilvandyke.org> 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
