From: Marcelo V. <va...@us...> - 2006-07-07 03:54:38
|
Alan and Steve already said what I was going to say about default properties/build.properties, so I'll just add my two bits on this matter: Vampire wrote: > If a user wants to change the target java version, why shouldn't he? If > he tries to set it to a value before 1.4 he will see that the compiler > complains. And if he sets it to something higher, why not? It will still > compile fine. I think that since we want to keep jEdit compatible with 1.4 for the time being, we should discourage anyone from even trying to use 1.5 features at all. By making it harder to change that value, the person compiling won't think "hey, look at this property, I'm using Java 5 so I'll set it to 1.5" and the submitting some bug fix/feature/enhancement that has 1.5 code in it. I'd go as far as say that everybody compiling jEdit, and most of all the packagers, shouldn't even use the javac from a 1.5 JDK to do it, so that no references to classes that don't exist in 1.4 make it into the code. -- Marcelo Vanzin va...@us... "Life is too short to drink cheap beer" |