Changeset 8562 in josm


Ignore:
Timestamp:
2015-07-04T10:52:35+02:00 (5 years ago)
Author:
bastiK
Message:

fixed splash deadlock for java 7 (fixes #11591, see #11355)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/MainApplication.java

    r8525 r8562  
    411411        final SplashScreen.SplashProgressMonitor monitor = splash.getProgressMonitor();
    412412        monitor.beginTask(tr("Initializing"));
    413         splash.setVisible(Main.pref.getBoolean("draw.splashscreen", true));
     413        GuiHelper.runInEDT(new Runnable() {
     414            @Override
     415            public void run() {
     416                splash.setVisible(Main.pref.getBoolean("draw.splashscreen", true));
     417            }
     418        });
    414419        Main.setInitStatusListener(new InitStatusListener() {
    415420
Note: See TracChangeset for help on using the changeset viewer.