|
From: Mike M. <ma...@um...> - 2010-10-09 18:11:05
|
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
|