Submit plugin bugs here. Do NOT submit feature requests
or jEdit core bugs. Send plugin feature requests to the
plugin feature request tracker, and jEdit core bugs to the jEdit core bug tracker.
Questions or complaints go on a mailing list or a community site.
Please include the following in submissions:
jEdit version number, plugin(s) and version numbers, platform, Java version, steps to reproduce
, expected result, activity log, etc. The more useful information you have, the faster it will get fixed.
See also: Bug tracker details, open plugin bugs list