Changeset 11042 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint

Timestamp:

2016-09-22T23:08:23+02:00 (8 years ago)

Author:

simon04

Message:

Use CachedFile#getContentReader where possible

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java

@@ -6 +6 @@
 import java.io.File;
 import java.io.IOException;
-import java.io.InputStreamReader;
-import java.nio.charset.StandardCharsets;
+import java.io.Reader;
 import java.util.ArrayList;
 import java.util.Arrays;
@@ -314 +313 @@
             if (Utils.hasExtension(entry.url, "mapcss"))
                 return new MapCSSStyleSource(entry);
-            try (InputStreamReader reader = new InputStreamReader(cf.getInputStream(), StandardCharsets.UTF_8)) {
+            try (Reader reader = cf.getContentReader()) {
                 WHILE: while (true) {
                     int c = reader.read();