Group

Searches

Help

This tracker is for core feature requests. Patches go to a different tracker. Plugin Feature Requests belong in another tracker too.

Please first discuss your feature request on jedit-users, to make sure the feature does not already exist in jEdit itself, or a plugin. No single person really knows all the things jEdit can already do.