- Timestamp:
- 2016-02-13T20:49:22+01:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r9781 r9793 1086 1086 Set evalue = (Set) e.getValue(); 1087 1087 JsonArrayBuilder a = Json.createArrayBuilder(); 1088 for (Object evo: (Collection)evalue) {1088 for (Object evo: evalue) { 1089 1089 a.add(evo.toString()); 1090 1090 } … … 1418 1418 * setting, add it to the list here with an expiry date (written as comment). If you 1419 1419 * see something with an expiry date in the past, remove it from the list. 1420 * @param loadedVersion JOSM version when the preferences file was written 1420 1421 */ 1421 1422 private void removeObsolete(int loadedVersion) { -
trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java
r9788 r9793 33 33 import java.util.List; 34 34 import java.util.Map; 35 import java.util.Map.Entry;36 35 import java.util.concurrent.ForkJoinPool; 37 36 import java.util.concurrent.ForkJoinTask; … … 261 260 } 262 261 } 262 263 263 /* can be set by tests, if detailed benchmark data is requested */ 264 264 public BenchmarkData benchmarkData = null;
Note:
See TracChangeset
for help on using the changeset viewer.