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

closed-out-of-date
nobody
None
5
2013-09-08
2013-08-13
Eric Le Lay
No

Here are sufficient changes to pass the test.

Discussion

  • Eric Le Lay
    Eric Le Lay
    2013-08-13

    diff against r23113

     
    Attachments
  • Eric Le Lay
    Eric Le Lay
    2013-09-08

    better patch in the bug itself

     
  • Eric Le Lay
    Eric Le Lay
    2013-09-08

    • status: open --> closed-out-of-date