I finally got time to look at this again, <br>(I got tired of merging my changes in locally every time I update.)<br><br>On Wed, Jan 17, 2007 at 6:48 PM, Aaron Bentley <<a href="mailto:aaron.bentley@utoronto.ca">aaron.bentley@utoronto.ca</a>> wrote:<br>
<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">Marius Kruger wrote:<br>
> On 1/17/07, *John Arbash Meinel* <<a href="mailto:john@arbash-meinel.com">john@arbash-meinel.com</a><br>
<br>
</div><div class="Ih2E3d">> I attached a bundle to 'Highlight trailing white space'<br>
> its probably an ugly hack, but I like the result.<br>
<br>
</div>Apparently, we also need "Contains leading tabs" :-)</blockquote><div><br>done <br>I realise it was a bit of a joke, but I did it any ways as it might obviously be useful.<br>It also gives a summary of new lines containing tabs (if any).<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
I like the idea, but I don't like having two different tests for<br>
trailing whitespace. Don't Repeat Yourself, as Martin recently reminded me.</blockquote><div><br>I tried to do this better, <br>but that forced me to send the match object to colorstring(), or pass the components seperately.<br>
The colorstring() is not a nice api any more, so I was thinking<br>to change mine to _colorstring() and bring back the original one (for in case someone used it elsewhere).<br><br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d"><br>
> We can also highlight text which is over 79 chars...<br>
> what do you think?<br>
<br>
</div>David Allouche actually had a neat one for this. Instead of "trailing<br>
whitespace" or "under 80 chars", he did "wraps idempotently".</blockquote><div> </div>I'm not sure what you mean by "wraps idempotently", <br>but my new version highlight long lines nicely.<br>
<br>regards<br>marius</div>