- 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.
  