Changeset 1673 in josm


Ignore:
Timestamp:
2009-06-16T09:08:14+02:00 (15 years ago)
Author:
stoecker
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/AdvancedPreference.java

    r1576 r1673  
    159159        for (String prefKey : data.keySet()) {
    160160            String prefValue = data.get(prefKey);
    161             if (prefKey.contains(txtFilter.getText()) ||
    162                     prefValue.contains(txtFilter.getText())) {
     161            String input[] = txtFilter.getText().split("\\s+");
     162            boolean canHas = true;
     163
     164            // Make 'wmsplugin cache' search for e.g. 'cache.wmsplugin'
     165            for (String bit : input) {
     166                if (!prefKey.contains(bit) && !prefValue.contains(bit))
     167                    canHas = false;
     168            }
     169
     170            if (canHas) {
    163171                model.addRow(new String[] {prefKey, prefValue});
    164172            }
Note: See TracChangeset for help on using the changeset viewer.