Re: [ jEdit-users ] coloring changes

[Dale A. <da...@gr...>]

I haven't used it, but I think the Dirty Buffer plugin does that.

Dale


On Sat, Oct 9, 2010 at 12:11 PM, Mike Maxwell <ma...@um...>wrote:

> 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
>
>
> ------------------------------------------------------------------------------
> Beautiful is writing same markup. Internet Explorer 9 supports
> standards for HTML5, CSS3, SVG 1.1,  ECMAScript5, and DOM L2 & L3.
> Spend less time writing and  rewriting code and more time creating great
> experiences on the web. Be a part of the beta today.
> http://p.sf.net/sfu/beautyoftheweb
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>