this bug is a placeholder for stuff that needs to be done before the final version of jEdit 2.5 is released. All the bugs this one depends on, must be closed before the release.
All the problems except for the plugin holder incompatibility were fixed, so I am going to close this bug.
Log in to post a comment.
All the problems except for the plugin holder incompatibility were fixed, so I am going to close this bug.