<div dir="ltr">On 30 July 2013 18:08, Vito De Tullio <span dir="ltr"><<a href="mailto:vito.detullio@gmail.com" target="_blank">vito.detullio@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Ed Leafe wrote:<br>
<br>
> I had read about a developer who switched to using proportional fonts for<br>
> coding, and somewhat skeptically, tried it out. After a day or so it<br>
> stopped looking strange, and after a week it seemed so much easier to<br>
> read.<br>
<br>
</div>By my (limited) experience with proportional fonts, they can be useful only<br>
with something like elastic tabstops[0]. But, as a general rule, I simply<br>
found more "squared" to just use a fixed-width font.<br></blockquote><div><br></div><div>Not if you give up on the whole "aligning" thing.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


[0] <a href="http://nickgravgaard.com/elastictabstops/" target="_blank">http://nickgravgaard.com/elastictabstops/</a><br></blockquote></div></div></div>