Changeset 8390 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
- Timestamp:
- 2015-05-18T02:14:30+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
r8377 r8390 1333 1333 } else if ("min-josm-version".equals(key)) { 1334 1334 try { 1335 last.minJosmVersion = Integer. parseInt(value);1335 last.minJosmVersion = Integer.valueOf(value); 1336 1336 } catch (NumberFormatException e) { 1337 1337 // ignore
Note:
See TracChangeset
for help on using the changeset viewer.