Changeset 8316 in josm

Timestamp:

2015-05-03T12:19:51+02:00 (9 years ago)

Author:

stoecker

Message:

still something left from mapcss switch

File:

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

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

@@ -43 +43 @@
 
     private static final List<SourceProvider> styleSourceProviders = new ArrayList<>();
-
-    private static final String OLD_ELEMSTYLES_XML = "resource://styles/standard/elemstyles.xml";
 
     /**
@@ -245 +243 @@
                 knownDefaults.add(def.url);
             }
-            // XML style is not bundled anymore
-            knownDefaults.remove(OLD_ELEMSTYLES_XML);
             Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults);