Changeset 1673 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/AdvancedPreference.java

Timestamp:

16.06.2009 09:08:14 (3 years ago)

Author:

stoecker

Message:

fix #2738 - patch by avar - improve prefs search a bit

File:

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

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

@@ -159 +159 @@
         for (String prefKey : data.keySet()) {
             String prefValue = data.get(prefKey);
-            if (prefKey.contains(txtFilter.getText()) ||
-                    prefValue.contains(txtFilter.getText())) {
+            String input[] = txtFilter.getText().split("\\s+");
+            boolean canHas = true;
+
+            // Make 'wmsplugin cache' search for e.g. 'cache.wmsplugin'
+            for (String bit : input) {
+                if (!prefKey.contains(bit) && !prefValue.contains(bit))
+                    canHas = false;
+            }
+
+            if (canHas) {
                 model.addRow(new String[] {prefKey, prefValue});
             }