Changeset 14149 in josm for trunk/src/org/openstreetmap/josm/io/CachedFile.java
- Timestamp:
- 2018-08-12T17:24:32+02:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/CachedFile.java
r14138 r14149 29 29 import java.util.zip.ZipFile; 30 30 31 import org.openstreetmap.josm. Main;31 import org.openstreetmap.josm.data.Preferences; 32 32 import org.openstreetmap.josm.spi.preferences.Config; 33 33 import org.openstreetmap.josm.tools.HttpClient; … … 298 298 cacheFile = new File(Config.getDirs().getUserDataDirectory(false), name.substring("josmdir://".length())); 299 299 } else if (name.startsWith("josmplugindir://")) { 300 cacheFile = new File( Main.pref.getPluginsDirectory(), name.substring("josmplugindir://".length()));300 cacheFile = new File(Preferences.main().getPluginsDirectory(), name.substring("josmplugindir://".length())); 301 301 } else { 302 302 cacheFile = new File(name);
Note:
See TracChangeset
for help on using the changeset viewer.