[ jEdit-users ] coloring changes

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

Is there a way to highlight, or apply a different color to, text that 
has been changed since the last save? I thought I had seen that 
somewhere in the jEdit documentation, but I can't find anything about it 
now.  Maybe it was available in my previous editor, Visual Slickedit. 
Coloring changes would be a way to tell what effect a "Replace All" 
command has had (apropos of the thread on "Replace and find"--not quite 
the same thing, but useful).
-- 
	Mike Maxwell
	ma...@um...
         "A library is the best possible imitation, by human beings,
         of a divine mind, where the whole universe is viewed and
         understood at the same time... we have invented libraries
         because we know that we do not have divine powers, but we
         try to do our best to imitate them." --Umberto Eco