Changeset 7333 in josm

Timestamp:

2014-07-26T00:38:59+02:00 (11 years ago)

Author:

Don-vip

Message:

remove elemstyles.xml from preferences

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java

@@ -249 +249 @@
                 knownDefaults.add(def.url);
             }
+            // XML style is not bundled anymore
+            knownDefaults.remove("resource://styles/standard/elemstyles.xml");
             Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults);
 
@@ -294 +296 @@
             }
 
+            // XML style is not bundled anymore
+            list.remove(Utils.find(list, new Predicate<SourceEntry>() {
+                        @Override
+                        public boolean evaluate(SourceEntry se) {
+                            return "resource://styles/standard/elemstyles.xml".equals(se.url);
+                        }}));
+
             return changed;
         }