Changeset 6152 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2013-08-16T10:28:07+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/SourceEntry.java
r6151 r6152 159 159 /** 160 160 * Returns the parent directory of the resource inside the zip file. 161 * 161 162 * @return the parent directory of the resource inside the zip file, 162 163 * "." if zipEntryPath is a top level file; null, if zipEntryPath is null … … 167 168 File dir = file.getParentFile(); 168 169 if (dir == null) return "."; 169 return dir.getPath(); 170 String path = dir.getPath(); 171 if (!"/".equals(File.separator)) { 172 path = path.replace(File.separator, "/"); 173 } 174 return path; 170 175 } 171 176 }
Note:
See TracChangeset
for help on using the changeset viewer.