Changeset 3961 in josm

Timestamp:

2011-03-06T22:06:57+01:00 (13 years ago)

Author:

mjulius

Message:

fix issue of default list of imagery providers being duplicated when hitting "reload defaults"
sort default list when reloading

File:

• trunk/src/org/openstreetmap/josm/data/imagery/ImageryLayerInfo.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/imagery/ImageryLayerInfo.java

@@ -25 +25 @@
     ArrayList<ImageryInfo> defaultLayers = new ArrayList<ImageryInfo>();
 
-    private final static String[] DEFAULT_LAYER_SITES = { 
-        "http://josm.openstreetmap.de/maps" 
+    private final static String[] DEFAULT_LAYER_SITES = {
+        "http://josm.openstreetmap.de/maps"
     };
 
     public void load() {
         layers.clear();
+        defaultLayers.clear();
         Collection<String> defaults = Main.pref.getCollection(
                 "imagery.layers.default", Collections.<String>emptySet());
@@ -96 +97 @@
                 ? defaultsSave : defaults);
         Collections.sort(layers);
+        Collections.sort(defaultLayers);
         save();
     }