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.
