Changeset 7081 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/xml
- Timestamp:
- 2014-05-09T04:49:54+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/xml/XmlStyleSource.java
r7033 r7081 102 102 @Override 103 103 public InputStream getSourceInputStream() throws IOException { 104 MirroredInputStream in = new MirroredInputStream(url, null, XML_STYLE_MIME_TYPES);104 MirroredInputStream in = getMirroredInputStream(); 105 105 InputStream zip = in.findZipEntryInputStream("xml", "style"); 106 106 if (zip != null) { … … 111 111 return in; 112 112 } 113 } 114 115 @Override 116 public MirroredInputStream getMirroredInputStream() throws IOException { 117 return new MirroredInputStream(url, null, XML_STYLE_MIME_TYPES); 113 118 } 114 119
Note:
See TracChangeset
for help on using the changeset viewer.