<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi all --<div><br></div><div>I'm grading a lot of racket files this quarter. A question: is there a widget to extract the text from a .rkt file?</div><div><br></div><div>In other words, we'd like less of this</div><div><br></div><div><div></div><blockquote type="cite"><div><font class="Apple-style-span" face="Monaco">0 0 14 3 3 #"num"</font></div><div><font class="Apple-style-span" face="Monaco">0 0 22 3 1 #")"</font></div><div><font class="Apple-style-span" face="Monaco">0 0 128 3 1 #" "</font></div><div><font class="Apple-style-span" face="Monaco">0 0 14 3 3 #"num"</font></div><div><font class="Apple-style-span" face="Monaco">0 0 22 3 1 #"]"</font></div><div><font class="Apple-style-span" face="Monaco">0 0 128 29 1 #"\n"</font></div><div><font class="Apple-style-span" face="Monaco">0 0 128 3 4 #"    "</font></div><div><font class="Apple-style-span" face="Monaco">0 0 22 3 1 #"["</font></div></blockquote><div><br></div><div>and more of this</div><div><br></div><div><blockquote type="cite"><font class="Apple-style-span" face="Monaco">(if (foo x) y z)</font></blockquote></div><div><br></div><div>at least for grepping and other such occasional tasks.</div><div><br></div><div>Regards,</div><div><br></div><div>Adam</div><div><span class="Apple-style-span" style="font-family: Helvetica; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div></div></span><br class="Apple-interchange-newline"><br class="Apple-interchange-newline"> </div> <br></div></body></html>