<div dir="ltr"><div><div>This maybe silly, but just in case:<br></div>What if Racket waits on all previously created eventspaces at the end of each program (since I guess that's what it does on the main GUI eventspace already)? Apart from backward compatibility problems, would it be a bad idea?<br> <br></div>Laurent<br><div><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 11, 2013 at 9:51 PM, Eli Barzilay <span dir="ltr"><<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">A few minutes ago, Robby Findler wrote:<br> </div><div class="im">> Michael Wilber kindly sent me the link:<br> ><br> > <a href="http://lists.racket-lang.org/users/archive/2012-April/051485.html" target="_blank">http://lists.racket-lang.org/users/archive/2012-April/051485.html</a><br> <br> </div>(Ah, sorry, I thought that you knew where the discussion was...)<br> <div class="im"><br> <br> > and I think that this is not really a good argument for changing the<br> > default behavior. A keyword argument that says "create a new<br> > eventspace" seems okay, but the docs should explain that this is<br> > multi-threading, and if you were to invoke methods of the plot frame<br> > without first going to the new eventspace (via queue-callback or<br> > something like that), then you'll probably get bad behavior.<br> <br> </div>Sounds like exactly what I'm asking for: a sensible default that works<br> naively, and if the new eventspace is really useful, then do that with<br> a non-default keyword.<br> <div class="im HOEnZb"><br> --<br> ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:<br> <a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a> Maze is Life!<br> <br> </div><div class="HOEnZb"><div class="h5">____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> </div></div></blockquote></div><br></div></div></div></div>