[ jEdit-users ] working JDiff with 4.2 (pre4 onwards anyway)

[Adrian B. <Adr...@pe...>]

If anyone is in desparate need of JDiff for 4.2, I have a 'hacked'
JDiffPlugin.jar which works. Most of the changes were simple updates to
work with the API changes. However, there was some code related the
global physical overview which (being in a bit of a rush) I just had to
chop around until it compiled, so it won't work properly. Global virtual
overview is fine though. Also something I did broke the options (or I
didn't update the code correctly), so they aren't showing up in Plugin
Options.=20

Otherwise, everything works :)

I don't have any web space to post this on unfortunately - I can email
it to anyone who is interested, and maybe someone could put it up on
their site if demand is high.

Hopefully JDiff will be updated properly one day soon :)

Adrian