- Timestamp:
- 2015-09-01T11:12:25+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java
r8390 r8705 110 110 if (file.exists()) { 111 111 this.files.add(file); 112 } else { 112 } else if (file.getParentFile() != null) { 113 113 // try to guess an extension using the specified fileFilter 114 114 final File[] matchingFiles = file.getParentFile().listFiles(new FilenameFilter() {
Note:
See TracChangeset
for help on using the changeset viewer.