Changeset 6248 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
- Timestamp:
- 2013-09-23T16:47:50+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
r6106 r6248 1247 1247 Matcher m = Pattern.compile("^\t([^:]+): *(.+)$").matcher(line); 1248 1248 if (! m.matches()) { 1249 System.err.println(tr(getStr(I18nString.ILLEGAL_FORMAT_OF_ENTRY), url, line));1249 Main.error(tr(getStr(I18nString.ILLEGAL_FORMAT_OF_ENTRY), url, line)); 1250 1250 continue; 1251 1251 } … … 1291 1291 sources.add(last = new ExtendedSourceEntry(m.group(1), m.group(2))); 1292 1292 } else { 1293 System.err.println(tr(getStr(I18nString.ILLEGAL_FORMAT_OF_ENTRY), url, line));1293 Main.error(tr(getStr(I18nString.ILLEGAL_FORMAT_OF_ENTRY), url, line)); 1294 1294 } 1295 1295 }
Note:
See TracChangeset
for help on using the changeset viewer.