Submit jEdit core bugs here.Do NOT
submit patches, complaints, questions, feature requests or plugin bugs.
There are separate trackers for patches and plugin patches.
Send feature requests to the feature requests tracker, and plugin bugs to the plugin bug tracker.
Questions or complaints go on a mailing list or a community site.
Please include the following in submissions:
jEdit version number, platform, Java version, steps to reproduce,
expected result, activity log, what plugins you were using, etc.
The more useful information you have, the faster it will get fixed.
See also: Bug tracker details, open bugs list