jEdit / Merge Requests / #100 Fix jEdit loading when recent.xml is broken

#100 Fix jEdit loading when recent.xml is broken

Milestone: for 4.3.x

Status: closed-out-of-date

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-09-04

Created: 2011-09-24

Private: No

Please merge rev 19833 that fixes bug #3396545

The bug was jEdit do not load if recent.xml is corrupted.

Matthieu Casanova - 2012-09-04

status: open --> closed-out-of-date
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: