Re: [ jEdit-devel ] plugin.XXX.version property

[Slava P. <sp...@gj...>]

Hi,

Thanks for the patch. However, there is no way I can get it into
jEdit 2.3... so it will have to wait for 2.4.

Slava

Dirk Moebius wrote:
> That's a very strong requirement.
> For me it means that I never can put out a JIndex 0.11.3, because I
> created a 0.2 long time ago.
> 
> A more flexible solution is to tokenize the version string at '.' and
> compare each substring one after one (stopping, of course, at the first
> difference). Each of the substrings is first compared as Integer and if
> that fails, as String.
> 
> I tweaked MiscUtilities to incorperate a new comparator
> "VersionCompare", that can be used for such comparisions.
> 
> Then I added a new dependency property to JARClassLoader:
> 
> plugin.<name>.depends.<i> = plugin <plugin> <version>
> 
> for example:
> 
> plugin.InfoViewerPlugin.depends.2 = plugin EditBusPlugin 0.9.1
> 
> InfoViewer will not load if EditBusPlugin 0.9.1 is not there. I think it
> is very important to check the version dependencies for plugins. E.g.
> InfoViewer will break with earlier versions of EditBus.
> 
> Dirk.