Submit requests to merge a changelist (set) to a stable branch here. Don't
forget to PUT THE COMPLETE SET OF REVISION NUMBERS to be merged. See doc
/release-procedure.txt for more details.
Be sure to set the Group: to the version number that the merge belongs to.
Keep in mind, jEdit 5.1 is being stabilized at the moment and is the only
version being maintained (in other words, don't bother submitting merges for
If merging bug fixes add the bug id prefixed with #. This will allow to
search for merge requests for a given bug. There is no other way to find out
the earliest version in which the bug is fixed.
|199||make TextArea a JPanel instead of a JComponent and set its background color to the gutter background color||for 5.2.x||closed-accepted||Alan Ezust||2014-08-13||2014-08-17||5||0|
|198||Splashscreen cannot be hidden||for 5.2.x||closed-accepted||Alan Ezust||2014-07-29||2014-07-31||5||0|
|197||Fix for plugins that cannot be removed||for 5.2.x||closed-accepted||Alan Ezust||2014-07-29||2014-07-31||5||0|