Re: [ jEdit-users ] Diff?

[Ollie R. <ol...@ru...>]

Jason Van Cleve wrote:
>>Try jDiff:
>>
>>   http://plugins.jedit.org/plugins/?JDiffPlugin
> 
> This doesn't appear in the Plugin Manager (version pre14).  Is there a
> reason for that?  Given there is such an interface for installing
> plugins, it makes me uneasy about using one that doesn't show up there.

On plugins.jedit.org, the plugin has 4.2pre15 as the minimum required 
jEdit version for 1.4.2, which is why it's not showing up for you. 
However, it should work fine w/4.2pre14.

-Ollie