Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/data/preferences/sources/MapPaintPrefHelper.java
- Timestamp:
- 2017-09-13T16:30:27+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/sources/MapPaintPrefHelper.java
r12825 r12841 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 5 6 import java.util.ArrayList; 6 7 import java.util.Arrays; 7 8 import java.util.Collection; … … 52 53 boolean changed = false; 53 54 54 Collection<String> knownDefaults = new TreeSet<>(Main.pref.get Collection("mappaint.style.known-defaults"));55 Collection<String> knownDefaults = new TreeSet<>(Main.pref.getList("mappaint.style.known-defaults")); 55 56 56 57 Collection<ExtendedSourceEntry> defaults = getDefault(); … … 70 71 knownDefaults.add(def.url); 71 72 } 72 Main.pref.put Collection("mappaint.style.known-defaults", knownDefaults);73 Main.pref.putList("mappaint.style.known-defaults", new ArrayList<>(knownDefaults)); 73 74 74 75 // XML style is not bundled anymore
Note:
See TracChangeset
for help on using the changeset viewer.
