<div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Apr 27, 2012 at 21:08, Deren Dohoda <span dir="ltr">&lt;<a href="mailto:deren.dohoda@gmail.com" target="_blank">deren.dohoda@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Sorry, supposed to be to all:<br>
<br>
WinXP, DrRacket 5.2<br>
Edit: Show Active Keybindings:<br>
<div class="im"><br>
string: expects argument of type &lt;character&gt;; given f1<br></div></blockquote><div><br>Indeed. I&#39;m not sure, but this one might be on DrRacket (shortcuts can be symbols too, normally).<br><br><blockquote style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote">

Otherwise, it works excellently. Really handy tool!<br></blockquote><div><br>Glad to know :)<br><br>Laurent</div></div></div><br></div>