Ticket #11271: josm_skip_plugins.diff
File josm_skip_plugins.diff, 4.3 KB (added by , 9 years ago) |
---|
-
src/org/openstreetmap/josm/gui/MainApplication.java
132 132 "\t--language=<language> "+tr("Set the language")+"\n\n"+ 133 133 "\t--version "+tr("Displays the JOSM version and exits")+"\n\n"+ 134 134 "\t--debug "+tr("Print debugging messages to console")+"\n\n"+ 135 "\t--skip-plugins "+tr("Skip loading plugins")+"\n\n"+ 135 136 "\t--offline=<osm_api|josm_website|all> "+tr("Disable access to the given resource(s), separated by comma")+"\n\n"+ 136 137 tr("options provided as Java system properties")+":\n"+ 137 138 "\t-Djosm.pref=" +tr("/PATH/TO/JOSM/PREF ")+tr("Set the preferences directory")+"\n\n"+ … … 194 195 /** --selection=<searchstring> Select with the given search */ 195 196 SELECTION(true), 196 197 /** --offline=<osm_api|josm_website|all> Disable access to the given resource(s), delimited by comma */ 197 OFFLINE(true); 198 OFFLINE(true), 199 /* --skip-plugins */ 200 SKIP_PLUGINS(false), 201 ; 198 202 199 203 private String name; 200 204 private boolean requiresArgument; … … 343 347 Main.info(tr("Printing debugging messages to console")); 344 348 } 345 349 350 Boolean skipLoadingPlugins = false; 351 if (args.containsKey(Option.SKIP_PLUGINS)) { 352 skipLoadingPlugins = true; 353 Main.info(tr("Fast start: plugins will not be loaded")); 354 } 355 346 356 if (args.containsKey(Option.TRACE)) { 347 357 // Enable JOSM debug level 348 358 logLevel = 5; … … 412 422 } 413 423 }); 414 424 415 Collection<PluginInformation> pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash, monitor.createSubTaskMonitor(1, false)); 416 if (!pluginsToLoad.isEmpty() && PluginHandler.checkAndConfirmPluginUpdate(splash)) { 417 monitor.subTask(tr("Updating plugins")); 418 pluginsToLoad = PluginHandler.updatePlugins(splash, null, monitor.createSubTaskMonitor(1, false), false); 419 } 425 Collection<PluginInformation> pluginsToLoad = null; 420 426 421 monitor.indeterminateSubTask(tr("Installing updated plugins"));422 PluginHandler.installDownloadedPlugins(true);423 427 424 monitor.indeterminateSubTask(tr("Loading early plugins")); 425 PluginHandler.loadEarlyPlugins(splash, pluginsToLoad, monitor.createSubTaskMonitor(1, false)); 428 if (!skipLoadingPlugins) { 429 pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash, monitor.createSubTaskMonitor(1, false)); 430 if (!pluginsToLoad.isEmpty() && PluginHandler.checkAndConfirmPluginUpdate(splash)) { 431 monitor.subTask(tr("Updating plugins")); 432 pluginsToLoad = PluginHandler.updatePlugins(splash, null, monitor.createSubTaskMonitor(1, false), false); 433 } 426 434 435 monitor.indeterminateSubTask(tr("Installing updated plugins")); 436 PluginHandler.installDownloadedPlugins(true); 437 438 monitor.indeterminateSubTask(tr("Loading early plugins")); 439 PluginHandler.loadEarlyPlugins(splash, pluginsToLoad, monitor.createSubTaskMonitor(1, false)); 440 } 441 427 442 monitor.indeterminateSubTask(tr("Setting defaults")); 428 443 preConstructorInit(args); 429 444 … … 430 445 monitor.indeterminateSubTask(tr("Creating main GUI")); 431 446 final Main main = new MainApplication(mainFrame); 432 447 433 monitor.indeterminateSubTask(tr("Loading plugins")); 434 PluginHandler.loadLatePlugins(splash, pluginsToLoad, monitor.createSubTaskMonitor(1, false)); 435 toolbar.refreshToolbarControl(); 448 if (!skipLoadingPlugins) { 449 monitor.indeterminateSubTask(tr("Loading plugins")); 450 PluginHandler.loadLatePlugins(splash, pluginsToLoad, monitor.createSubTaskMonitor(1, false)); 451 toolbar.refreshToolbarControl(); 452 } 436 453 437 454 // Wait for splash disappearance (fix #9714) 438 455 GuiHelper.runInEDTAndWait(new Runnable() {