Changeset 142 in josm for src/org/openstreetmap/josm/tools/SearchCompiler.java

Timestamp:

2006-09-24T11:15:39+02:00 (20 years ago)

Author:

imi

Message:

• added External Tool support (no gui configuration yet)
• applied patch for bug that Save action does not set filename (thanks Dean)
• fixed case sensitiveness of search tool (now insensitive, like google)

File:

• src/org/openstreetmap/josm/tools/SearchCompiler.java (modified) (3 diffs)

src/org/openstreetmap/josm/tools/SearchCompiler.java

@@ -78 +78 @@
                         if (value == null)
                                 return notValue;
-                        return (value.indexOf(this.value) != -1) != notValue;
+                        return (value.toLowerCase().indexOf(this.value.toLowerCase()) != -1) != notValue;
                 }
                 @Override public String toString() {return key+"="+(notValue?"!":"")+value;}
@@ -90 +90 @@
                                 return s.equals("");
                         for (Entry<String, String> e : osm.keys.entrySet())
-                                if (e.getKey().indexOf(s) != -1 || e.getValue().indexOf(s) != -1)
+                                if (e.getKey().toLowerCase().indexOf(s.toLowerCase()) != -1 
+                                                || e.getValue().toLowerCase().indexOf(s.toLowerCase()) != -1)
                                         return true;
                         return false;
@@ -111 +112 @@
                 @Override public String toString() {return "type="+type;}
         }
-        
+
         private static class Modified extends Match {
                 @Override public boolean match(OsmPrimitive osm) {