LatestVersion plugin is obsolete. Updater works.
We should get rid of LatestVersion and package Updater with core.
Well, I started working on this.
The approach I took was, to first svn propedit svn:externals in the "jars" directory,
and I added Updater to that.
But then I realized CommonControls is needed by Updater.
So that would mean we need to roll CommonControls into jEdit core too.
So I added that to the jars also as an svn externals, But now the problem is,
what happens when a newer version is available on the plugin manager? Then there will be 2 installed copies in different folders, so I have not yet determined how to resolve that issue.
removed latest version from trunk.
Re-opening now that jEdit 5.0 can disable older pre-installed plugins in favor of newer ones in the settings dir.
Assigning to Jarek.
This should be included only in the java jar installer and the windows installer.
the .deb installer should not have it since it won't work.