Re: [ jEdit-devel ] Lots of plugin updates

[Andre K. <ak...@vi...>]

Dirk Moebius wrote:

> * Optionally ignore whitespace changes (or, easier, ignore whitespace
> changes at the beginning and end of line, ie. use String.trim() to compare
> two lines in jdiff.text.FileLine.java).

Will do

> * New command "Plugins->JDiff->Refresh", in case any of the two buffers has
> changed.

Will do too

I'm currently finishing tag highlights for HTML... devels are in the CVS 
 
> Thanks!
 
You're welcome.

Andre