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.
v5.4
# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Priority▾ | Votes▾ | |
---|---|---|---|---|---|---|---|---|---|
537 | Add "default encoding" option in the "Mode Settings" | v5.4 | closed-duplicate | 2017-04-01 | 2017-06-13 | 4 | 1 | ||
529 | Activate automatic graphics switching on Mac. | v5.4 | closed-fixed | Björn Kautler | 2017-02-16 | 2017-03-07 | 5 | 0 | |
526 | Java launcher should be updated so that jre can be specified | v5.4 | open | 2016-10-30 | 2016-10-30 | 5 | 0 |