Changeset 9965 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2016-03-12T00:10:24+01:00 (10 years ago)

Author:

Don-vip

Message:

fix #12282 - drop XML mappaint support - keep XML detection in order to warn users and let them upgrade to MapCSS, with link to documentation

File:

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

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

@@ -1390 +1390 @@
                 }
                 readFile();
+                for (Iterator<ExtendedSourceEntry> it = sources.iterator(); it.hasNext();) {
+                    if ("xml".equals(it.next().styleType)) {
+                        Main.debug("Removing XML source entry");
+                        it.remove();
+                    }
+                }
             } catch (IOException e) {
                 if (canceled)