Changeset 5796 in josm
- Timestamp:
- 2013-03-22T22:44:52+01:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r5605 r5796 41 41 import org.openstreetmap.josm.gui.preferences.server.OAuthAccessTokenHolder; 42 42 import org.openstreetmap.josm.gui.progress.ProgressMonitor; 43 import org.openstreetmap.josm.gui.util.GuiHelper; 43 44 import org.openstreetmap.josm.io.DefaultProxySelector; 44 45 import org.openstreetmap.josm.io.auth.CredentialsManager; … … 280 281 Main.pref.updateSystemProperties(); 281 282 282 JFrame mainFrame = new JFrame(tr("Java OpenStreetMap Editor"));283 final JFrame mainFrame = new JFrame(tr("Java OpenStreetMap Editor")); 283 284 Main.parent = mainFrame; 284 285 … … 314 315 } 315 316 316 SplashScreen splash = new SplashScreen();317 final SplashScreen splash = new SplashScreen(); 317 318 final ProgressMonitor monitor = splash.getProgressMonitor(); 318 319 monitor.beginTask(tr("Initializing")); … … 348 349 PluginHandler.loadLatePlugins(splash,pluginsToLoad, monitor.createSubTaskMonitor(1, false)); 349 350 toolbar.refreshToolbarControl(); 350 splash.setVisible(false); 351 splash.dispose(); 352 mainFrame.setVisible(true); 351 352 GuiHelper.runInEDT(new Runnable() { 353 public void run() { 354 splash.setVisible(false); 355 splash.dispose(); 356 mainFrame.setVisible(true); 357 } 358 }); 359 353 360 Main.MasterWindowListener.setup(); 354 361
Note:
See TracChangeset
for help on using the changeset viewer.