Changeset 4392 in josm

Timestamp:

2011-09-01T10:53:49+02:00 (13 years ago)

Author:

simon04

Message:

fix #6361 - case insensitive search in advanced preference

File:

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

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

@@ -189 +189 @@
 
             // Make 'wmsplugin cache' search for e.g. 'cache.wmsplugin'
+            final String prefKeyLower = prefKey.toLowerCase();
+            final String prefValueLower = prefValue.toLowerCase();
             for (String bit : input) {
-                if (!prefKey.contains(bit) && !prefValue.contains(bit)) {
+                bit = bit.toLowerCase();
+                if (!prefKeyLower.contains(bit) && !prefValueLower.contains(bit)) {
                     canHas = false;
                 }