- Timestamp:
- 2015-07-04T10:52:35+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r8525 r8562 411 411 final SplashScreen.SplashProgressMonitor monitor = splash.getProgressMonitor(); 412 412 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 }); 414 419 Main.setInitStatusListener(new InitStatusListener() { 415 420
Note:
See TracChangeset
for help on using the changeset viewer.