Group v5.4  Maximize  Restore

2 / 3

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.

open feature requests list


Showing 3 results of 3

# 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  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
  • Votes
(applies to this page only)