Changeset 6552 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
- Timestamp:
- 2013-12-28T00:30:15+01:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
r6380 r6552 24 24 import java.io.IOException; 25 25 import java.io.InputStreamReader; 26 import java.io.UnsupportedEncodingException;27 26 import java.net.MalformedURLException; 28 27 import java.net.URL; … … 1229 1228 1230 1229 MirroredInputStream stream = new MirroredInputStream(url); 1231 InputStreamReader r; 1232 try { 1233 r = new InputStreamReader(stream, "UTF-8"); 1234 } catch (UnsupportedEncodingException e) { 1235 r = new InputStreamReader(stream); 1236 } 1237 reader = new BufferedReader(r); 1230 reader = new BufferedReader(new InputStreamReader(stream, Utils.UTF_8)); 1238 1231 1239 1232 String line;
Note:
See TracChangeset
for help on using the changeset viewer.
