Changeset 9940 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

Timestamp:

2016-03-06T17:12:42+01:00 (8 years ago)

Author:

simon04

Message:

see #12554 - Allow to ignore keys/tags from recent tags

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

@@ -1401 +1401 @@
             String token = new StringBuilder(t).append(val).toString();
             if (consideredTokens.add(token)) {
-                s.append(sep).append('(').append(t).append('"').append(
-                        org.openstreetmap.josm.actions.search.SearchAction.escapeStringForSearch(key)).append("\"=\"").append(
-                        org.openstreetmap.josm.actions.search.SearchAction.escapeStringForSearch(val)).append("\")");
+                s.append(sep).append('(').append(t).append(SearchCompiler.buildSearchStringForTag(key, val)).append(")");
                 sep = " OR ";
             }