Re: [ jEdit-users ] coloring changes

[Mike M. <ma...@um...>]

On 10/9/2010 2:24 PM, Robert Schwenn wrote:
> Mike Maxwell wrote:
>> Is there a way to highlight, or apply a different color to, text that
>> has been changed since the last save?
>
> The DirtyGutter Plugin could mark the changed lines in the Gutter.

That gets me part way there--thanks for pointing that out!  I was hoping 
there might be s.t. at a finer grain, highlighting changed words or even 
characters (although I'm not sure how you could highlight 
deletions--lineouts might be going a bit far for a text editor).

But this will help me for now!
-- 
	Mike Maxwell
	ma...@um...