kopia lustrzana https://github.com/JOSM/MapWithAI
MapWithAILayerInfo: Fix CME
Signed-off-by: Taylor Smock <tsmock@fb.com>pull/1/head
rodzic
feabf1db73
commit
453ceb38b9
|
@ -423,6 +423,7 @@ public class MapWithAILayerInfo {
|
||||||
boolean changed = false;
|
boolean changed = false;
|
||||||
Collection<String> knownDefaults = new TreeSet<>(Config.getPref().getList(CONFIG_PREFIX + "layers.default"));
|
Collection<String> knownDefaults = new TreeSet<>(Config.getPref().getList(CONFIG_PREFIX + "layers.default"));
|
||||||
Collection<String> newKnownDefaults = new TreeSet<>();
|
Collection<String> newKnownDefaults = new TreeSet<>();
|
||||||
|
synchronized (defaultLayers) {
|
||||||
for (MapWithAIInfo def : defaultLayers) {
|
for (MapWithAIInfo def : defaultLayers) {
|
||||||
if (def.isDefaultEntry()) {
|
if (def.isDefaultEntry()) {
|
||||||
boolean isKnownDefault = false;
|
boolean isKnownDefault = false;
|
||||||
|
@ -461,6 +462,7 @@ public class MapWithAILayerInfo {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
}
|
||||||
if (!dropold && !knownDefaults.isEmpty()) {
|
if (!dropold && !knownDefaults.isEmpty()) {
|
||||||
newKnownDefaults.addAll(knownDefaults);
|
newKnownDefaults.addAll(knownDefaults);
|
||||||
}
|
}
|
||||||
|
|
Ładowanie…
Reference in New Issue