<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Sep 17, 2013 at 10:56 AM, Konrad Hinsen <span dir="ltr"><<a href="mailto:konrad.hinsen@fastmail.net" target="_blank">konrad.hinsen@fastmail.net</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">Robby Findler writes:<br>
 > I am not seeing any hanging, but I did see an error and just pushed a fix for that. How<br>
 > are you getting things to hang?<br>
<br>
</div>It's not deterministic, unfortunately. The best recipe I found is this:<br>
<br>
   1) Type the following code into DrRacket (or load it from a file):<br>
<br>
   #lang slideshow<br>
<br>
   (slide<br>
    (t "Hello world")<br>
    )<br>
<br>
   2) Put the cursor before the last closing parenthesis.<br>
<br>
   3) Insert Pict Box.<br>
<br>
   4) Quit DrRacket<br>
<br>
This hangs at about every fourth attempt.<br>
<br></blockquote><div><br></div><div>It didn't hang yet for me after 12 attempts. If you do see it again, and you started DrRacket from a shell prompt, hit control-c and we might get lucky and get an informative stacktrace.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I also get the error message "Only pure text files supported", </blockquote><div><br></div><div>This is intended to be more of a warning about a limitation of online check syntax.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
and I<br>
cannot do anything with a pict box other than delete it. I tried<br>
clicking and double-clicking with all three mouse buttons, then I ran<br>
out of ideas. A right-click shows the popup "Cannot show picts: run<br>
program to cache sizes first". But running the program makes no difference.<br>
<div class="HOEnZb"><div class="h5"></div></div></blockquote></div><br></div><div class="gmail_extra">You probably want to insert a Racket box into the pict box and then type some code in there that evaluates to a pict.<br>
</div><div class="gmail_extra"><br></div><div class="gmail_extra">But I fear you'll be disappointed. The reason I mothballed these (and I had forgotten about the environment variable!) was because they were just too clunky.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">Robby</div><div class="gmail_extra"><br></div></div>