This looks like a bug that was fixed earlier this week, though maybe<br>
it&#39;s something else.<br>
<br>
When did you get v5.1.2.3, and which language is selected in DrRacket?<br>
<div><div></div><div class="h5"><br></div></div></blockquote><div><br></div><div>I compiled from sources last week sometime. But I think it also happened on a binary version I downloaded yesterday for Windows. I&#39;ll try getting the latest and see if it makes a difference. The language is just &#39;racket&#39;.</div>