Ticket #8533: MainApplication.java.patch

File MainApplication.java.patch, 1.6 KB (added by kendzi, 7 years ago)
  • src/org/openstreetmap/josm/gui/MainApplication.java

     
    279279        }
    280280        Main.pref.updateSystemProperties();
    281281
    282         JFrame mainFrame = new JFrame(tr("Java OpenStreetMap Editor"));
     282        final JFrame mainFrame = new JFrame(tr("Java OpenStreetMap Editor"));
    283283        Main.parent = mainFrame;
    284284
    285285        if (args.containsKey(Option.LOAD_PREFERENCES)) {
     
    313313            System.exit(0);
    314314        }
    315315
    316         SplashScreen splash = new SplashScreen();
     316        final SplashScreen splash = new SplashScreen();
    317317        final ProgressMonitor monitor = splash.getProgressMonitor();
    318318        monitor.beginTask(tr("Initializing"));
    319319        splash.setVisible(Main.pref.getBoolean("draw.splashscreen", true));
     
    347347        monitor.indeterminateSubTask(tr("Loading plugins"));
    348348        PluginHandler.loadLatePlugins(splash,pluginsToLoad,  monitor.createSubTaskMonitor(1, false));
    349349        toolbar.refreshToolbarControl();
    350         splash.setVisible(false);
    351         splash.dispose();
    352         mainFrame.setVisible(true);
     350
     351        java.awt.EventQueue.invokeLater(new Runnable() {
     352            public void run() {
     353                splash.setVisible(false);
     354                splash.dispose();
     355                mainFrame.setVisible(true);
     356            }
     357        });
     358
    353359        Main.MasterWindowListener.setup();
    354360
    355361        boolean maximized = Boolean.parseBoolean(Main.pref.get("gui.maximized"));