<br><br><div class="gmail_quote">On Fri, May 11, 2012 at 7:00 AM, Ray Racine <span dir="ltr">&lt;<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@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">

<div>Laurent,</div><div><br></div><div>I just converted it to typed racket, otherwise essentially the same.</div><div><a href="https://gist.github.com/2657613" target="_blank">https://gist.github.com/2657613</a></div><div>

<br></div><div>&#39;rounded has a pixel issue for <a href="http://me.in" target="_blank">me.in</a> emacs.  Probably a font thing.</div>
<div>&#39;normal and &#39;double look great.</div></blockquote><div><br>Yes, I have some issues with the fonts too. <br>Disabling the &quot;Add 1 pixel&quot; in DrRacket makes it look better on Ubuntu, but the font itself (Monospace) does not render well at size 10 (on whatever text editor), <br>

especially for &#39;double (&#39;rounded is fine).<br>Switching to size 11 makes it ok.<br> </div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>

Are you doing some PGM code in Racket?</div></blockquote><div><br>What &#39;PGM&#39; are you talking about? My little googling gave me several answers but none of them seems like a perfect match.<br></div></div><br>Laurent<br>