Changeset 7697 in josm

Timestamp:

2014-11-02T22:56:58+01:00 (9 years ago)

Author:

Don-vip

Message:

fix #10693 - Places with a 'place_name' and no 'name' should use 'name' instead (modified patch by brianegge)

File:

• trunk/data/validator/deprecated.mapcss (modified) (1 diff)

trunk/data/validator/deprecated.mapcss

@@ -334 +334 @@
   throwWarning: tr("{0}={1} is unspecific. Please replace ''{1}'' by a specific value.", "{0.key}", "{0.value}");
 }
+
+/* see #10693 - http://wiki.openstreetmap.org/wiki/Proposed_features/drop_recommendation_for_place_name */
+*[place_name][!name] {
+  throwWarning: tr("{0} should be replaced with {1}", "{0.key}", "{1.key}");
+  fixChangeKey: "place_name => name";
+}