Changeset 8466 in josm for trunk/src/org/openstreetmap/josm/actions/search

Timestamp:

2015-06-04T12:02:09+02:00 (9 years ago)

Author:

stoecker

Message:

fix case insensitive comparison for key:valuefragment search

File:

• trunk/src/org/openstreetmap/josm/actions/search/SearchCompiler.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/actions/search/SearchCompiler.java

@@ -482 +482 @@
 
         public KeyValue(String key, String value, boolean regexSearch, boolean caseSensitive) throws ParseError {
-            this.caseSensitive = caseSensitive;
+        this.caseSensitive = caseSensitive;
             if (regexSearch) {
                 int searchFlags = regexFlags(caseSensitive);
@@ -509 +509 @@
                 this.valuePattern = null;
             } else {
-                this.key = key.toLowerCase(Locale.ENGLISH);
+                this.key = key;
                 this.value = value;
                 this.keyPattern = null;
@@ -551 +551 @@
                 } else {
                     mv = osm.get(key);
+                    if(!caseSensitive && mv == null) {
+                        for (String k: osm.keySet()) {
+                            if(key.equalsIgnoreCase(k)) {
+                                mv = osm.get(k);
+                                break;
+                            }
+                        }
+                    }
                 }