Changeset 8562 in josm

Timestamp:

2015-07-04T10:52:35+02:00 (9 years ago)

Author:

bastiK

Message:

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

File:

• trunk/src/org/openstreetmap/josm/gui/MainApplication.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -411 +411 @@
         final SplashScreen.SplashProgressMonitor monitor = splash.getProgressMonitor();
         monitor.beginTask(tr("Initializing"));
-        splash.setVisible(Main.pref.getBoolean("draw.splashscreen", true));
+        GuiHelper.runInEDT(new Runnable() {
+            @Override
+            public void run() {
+                splash.setVisible(Main.pref.getBoolean("draw.splashscreen", true));
+            }
+        });
         Main.setInitStatusListener(new InitStatusListener() {