Changeset 13691 in josm for trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java
- Timestamp:
- 2018-05-01T14:54:01+02:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java
r12894 r13691 134 134 for (final File file : files) { 135 135 if (file.exists()) { 136 this.files.add( file);136 this.files.add(Main.platform.resolveFileLink(file)); 137 137 } else if (file.getParentFile() != null) { 138 138 // try to guess an extension using the specified fileFilter
Note:
See TracChangeset
for help on using the changeset viewer.