Changeset 3864 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java

Timestamp:

2011-02-07T10:34:07+01:00 (13 years ago)

Author:

bastiK

Message:

change in build: do not copy elemstyles.xml to data folder, but distribute the entire styles folder like it is done with 'images' and 'data' (toplevel) folders

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java (modified) (1 diff)

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

@@ -173 +173 @@
 
         @Override
+        public List<SourceEntry> get() {
+            List<SourceEntry> ls = super.get();
+            if (adapt_elemstyles_xml(ls)) {
+                put(ls);
+            }
+            return ls;
+        }
+
+        /**
+         * The internal path of elemstyles.xml has changed, this
+         * can be removed when a few months have passed.
+         */
+        private boolean adapt_elemstyles_xml(List<SourceEntry> ls) {
+            boolean changed = false;
+            for (SourceEntry se : ls) {
+                if (se.url.equals("resource://data/elemstyles.xml")) {
+                    se.url = "resource://styles/standard/elemstyles.xml";
+                    changed = true;
+                }
+            }
+            return changed;
+        }
+
+        @Override
         public Collection<ExtendedSourceEntry> getDefault() {
-            ExtendedSourceEntry i = new ExtendedSourceEntry("elemstyles.xml", "resource://data/elemstyles.xml");
+            ExtendedSourceEntry i = new ExtendedSourceEntry("elemstyles.xml", "resource://styles/standard/elemstyles.xml");
             i.name = "standard";
             i.shortdescription = tr("Internal Style");