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

[mike d. <md...@st...>]

On Tue, 15 Feb 2000, Slava Pestov wrote:
> 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.

not even the improved version comparison? i really don't want to have to
hear "the plugin manager 'doesn't work'" from users of the stable version
for weeks on end after somebody's versions don't collate correctly
alphanumerically. i just think that alphanumeric ordering is to strict a
constraint.

i feel that the improved version comparison algorithm for the plugin
manager should be part of 2.3 final, but the plugin version dependencies
in the properties should be pushed to 2.4 (3.0?).

-md