Group for 5.2.x Maximize Restore

Open
N/A
3 / 3

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
older versions).

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.

open items list

for 5.2.x

Showing 3 results of 3

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