Re: [ jEdit-users ] coloring changes

[Robert S. <Ro...@Sc...>]

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.