jEdit / Patches / #508 fix for #3614900 gui access outside the EDT during startup

#508 fix for #3614900 gui access outside the EDT during startup

Status: closed-out-of-date

Owner: nobody

Labels: None

Priority: 5

Updated: 2013-09-08

Created: 2013-08-13

Creator: Eric Le Lay

Private: No

Here are sufficient changes to pass the test.

Discussion

Eric Le Lay - 2013-08-13

diff against r23113

fix_edt_errors.diff

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2013-08-13

here is the bug: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3614900&group_id=588

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2013-09-08

better patch in the bug itself

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2013-09-08

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:

Log in to post a comment.