[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-devel
Subject:    Re: [ jEdit-devel ] Re: [ jEdit-users ] jEdit 2.3pre6 now available
From:       Dirk Moebius <dmoebius () gmx ! net>
Date:       2000-02-18 8:45:41
[Download RAW message or body]

Slava Pestov wrote:
> 
> Dirk Moebius wrote:
> > Thanks for putting it in.
> > Now that we have this method, should we use it to compare JDK versions
> > as well? That way we correctly handle JDK 1.1.10, if that ever shows up.
> 
> I think we only need to distinglish between major JDK revisions, eg
> 1.1, 1.2, 1.3.

But what if some plugin has "plugin.depend.0=jdk 1.1.8" in it (because
he don't want to let it run on JDK 1.1.2) and JDK 1.1.10 comes out? What
if JDK 1.10 comes out? :-)))

Dirk.
-- 
Ceci n'est pas une signature.

[prev in list] [next in list] [prev in thread] [next in thread]