Changeset 14125 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java
- Timestamp:
- 2018-08-11T19:01:26+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r14121 r14125 161 161 import org.openstreetmap.josm.plugins.PluginHandler; 162 162 import org.openstreetmap.josm.plugins.PluginInformation; 163 import org.openstreetmap.josm.spi.lifecycle.InitStatusListener; 164 import org.openstreetmap.josm.spi.lifecycle.InitializationTask; 165 import org.openstreetmap.josm.spi.lifecycle.Lifecycle; 163 166 import org.openstreetmap.josm.spi.preferences.Config; 164 167 import org.openstreetmap.josm.spi.preferences.PreferenceChangeEvent; … … 318 321 String location = Config.getUrls().getJOSMWebsite() + "/proj/" + gridFileName; 319 322 // Try to load grid file 323 @SuppressWarnings("resource") 320 324 CachedFile cf = new CachedFile(location); 321 325 try { … … 667 671 } 668 672 673 /** 674 * Redirects the key inputs from {@code source} to main content pane. 675 * @param source source component from which key inputs are redirected 676 */ 669 677 public static void redirectToMainContentPane(JComponent source) { 670 678 RedirectInputMap.redirect(source, contentPanePrivate); … … 1045 1053 GuiHelper.runInEDT(() -> splash.setVisible(Config.getPref().getBoolean("draw.splashscreen", true))); 1046 1054 } 1047 Main.setInitStatusListener(new InitStatusListener() {1055 Lifecycle.setInitStatusListener(new InitStatusListener() { 1048 1056 1049 1057 @Override
Note:
See TracChangeset
for help on using the changeset viewer.