Changeset 14201 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2018-08-29T19:40:53+02:00 (6 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java
r14153 r14201 320 320 } 321 321 322 Pattern urlPattern = Pattern.compile(".*(https?://.*)"); 322 323 for (File urlFile: urlFiles) { 323 324 try (BufferedReader reader = Files.newBufferedReader(urlFile.toPath(), StandardCharsets.UTF_8)) { 324 325 String line; 325 326 while ((line = reader.readLine()) != null) { 326 Matcher m = Pattern.compile(".*(https?://.*)").matcher(line);327 Matcher m = urlPattern.matcher(line); 327 328 if (m.matches()) { 328 329 String url = m.group(1); -
trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java
r14128 r14201 425 425 * Add a new map paint style. 426 426 * @param entry map paint style 427 * @return loaded style source , or {@code null}427 * @return loaded style source 428 428 */ 429 429 public static StyleSource addStyle(SourceEntry entry) { -
trunk/src/org/openstreetmap/josm/io/session/SessionReader.java
r14153 r14201 653 653 Collection<String> parameters = new ArrayList<>(); 654 654 NodeList paramNl = parametersEl.getElementsByTagName("param"); 655 for (int i = 0; i < paramNl.getLength(); i++) { 655 int length = paramNl.getLength(); 656 for (int i = 0; i < length; i++) { 656 657 Element paramEl = (Element) paramNl.item(i); 657 658 parameters.add(paramEl.getTextContent());
Note:
See TracChangeset
for help on using the changeset viewer.