<div dir="ltr"><div>Yay, Thanks Robby! <br>Now the voice in my head can finally stop yelling at me for not checking the line widths. <br>(Now it can start yelling at me for not taking them into account.)<br><br></div>Laurent<br>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jun 11, 2013 at 5:16 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Jun 10, 2013, at 8:18 AM, Tim Brown wrote:<br>
<br>
</div><div class="im">&gt; Is there a 102nd (or in Eli&#39;s case, 80th) &quot;margin bar&quot; (red line) in<br>
&gt; DrRacket to warn coders of the Style width of their code?<br>
<br>
<br>
</div>Now there is, in the git head, thanks to Robby. Preference, edit, general. And yes, Eli can set the width to his beloved 80.<br>
<br>
Thank you Robby -- Matthias<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>