The jEdit 4.3 series is supposed to be the last to work with Java 5, but it doesn't build because of an override of a method in TextAreaTransferHandler only found in Java 6.
jpavel, if you want to apply this directly (as well as a bunch of other merge requests) to the 4.3.x branch, then we might make another release, but at the moment there are no volunteer developers who are willing to put any work into that version, so we are basically dropping support for java 1.5. Someone needs to apply, build and test them against java 1.5.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This patch is equivalent to unmerging r19353 which was merged in r19418, so this was done instead (in r19962). The bug that was fixed by that patch is back, but there's no equivalent API that can be used to fix it in Java 1.5. It might be done some other way.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Patch to fix build on Java 5.
jpavel, if you want to apply this directly (as well as a bunch of other merge requests) to the 4.3.x branch, then we might make another release, but at the moment there are no volunteer developers who are willing to put any work into that version, so we are basically dropping support for java 1.5. Someone needs to apply, build and test them against java 1.5.
moving to merge requests and categorizing with the other 4.3.x merges.
This patch is equivalent to unmerging r19353 which was merged in r19418, so this was done instead (in r19962). The bug that was fixed by that patch is back, but there's no equivalent API that can be used to fix it in Java 1.5. It might be done some other way.