Changeset 14624 in josm for trunk/src/org/openstreetmap/josm/gui/io
- Timestamp:
- 2018-12-31T19:36:59+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java
r14153 r14624 358 358 for (PluginInformation pi4: toDeletePlugins) { 359 359 pls.remove(pi4.name); 360 new File(Preferences.main().getPluginsDirectory(), pi4.name+".jar").deleteOnExit();360 Utils.deleteFile(new File(Preferences.main().getPluginsDirectory(), pi4.name+".jar")); 361 361 } 362 362 Config.getPref().putList("plugins", pls);
Note:
See TracChangeset
for help on using the changeset viewer.