Changeset 1155 in josm for trunk/src


Ignore:
Timestamp:
2008-12-22T15:14:51+01:00 (11 years ago)
Author:
stoecker
Message:

close bug #518 (normalize UTF strings)

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/search/SearchCompiler.java

    r888 r1155  
    9090                        String v1 = caseSensitive ? value : value.toLowerCase();
    9191                        String v2 = caseSensitive ? this.value : this.value.toLowerCase();
     92                        v1 = java.text.Normalizer.normalize(v1, java.text.Normalizer.Form.NFC);
     93                        v2 = java.text.Normalizer.normalize(v2, java.text.Normalizer.Form.NFC);
    9294                        return v1.indexOf(v2) != -1;
    9395                }
     
    102104                                return s.equals("");
    103105                        String search = caseSensitive ? s : s.toLowerCase();
     106                        search = java.text.Normalizer.normalize(search, java.text.Normalizer.Form.NFC);
    104107                        for (Entry<String, String> e : osm.keys.entrySet()) {
    105108                                String key = caseSensitive ? e.getKey() : e.getKey().toLowerCase();
    106109                                String value = caseSensitive ? e.getValue() : e.getValue().toLowerCase();
     110                                value = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC);
    107111                                if (key.indexOf(search) != -1 || value.indexOf(search) != -1)
    108112                                        return true;
    109113                        }
    110114                        if (osm.user != null) {
    111                                 String name = osm.user.name;
     115                                String name = java.text.Normalizer.normalize(osm.user.name, java.text.Normalizer.Form.NFC);
    112116                                if (!caseSensitive)
    113117                                        name = name.toLowerCase();
  • trunk/src/org/openstreetmap/josm/gui/dialogs/PropertiesDialog.java

    r1102 r1155  
    209209
    210210                String value = values.getEditor().getItem().toString();
     211                value = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC);
    211212                if (value.equals(""))
    212213                        value = null; // delete the key
    213214                String newkey = keys.getEditor().getItem().toString();
     215                newkey = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC);
    214216                if (newkey.equals("")) {
    215217                        newkey = key;
Note: See TracChangeset for help on using the changeset viewer.