Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java
- Timestamp:
- 2017-09-13T16:30:27+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java
r12620 r12841 817 817 public void clearId() { 818 818 if (this.id != null) { 819 Collection<String> newAddedIds = new TreeSet<>(Main.pref.get Collection("imagery.layers.addedIds"));819 Collection<String> newAddedIds = new TreeSet<>(Main.pref.getList("imagery.layers.addedIds")); 820 820 newAddedIds.add(this.id); 821 Main.pref.put Collection("imagery.layers.addedIds", newAddedIds);821 Main.pref.putList("imagery.layers.addedIds", new ArrayList<>(newAddedIds)); 822 822 } 823 823 setId(null);
Note:
See TracChangeset
for help on using the changeset viewer.