Changeset 1168 in josm for trunk/src/org
- Timestamp:
- 2008-12-23T14:44:20+01:00 (16 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/search/SearchCompiler.java
r1155 r1168 90 90 String v1 = caseSensitive ? value : value.toLowerCase(); 91 91 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); 92 // is not Java 1.5 93 //v1 = java.text.Normalizer.normalize(v1, java.text.Normalizer.Form.NFC); 94 //v2 = java.text.Normalizer.normalize(v2, java.text.Normalizer.Form.NFC); 94 95 return v1.indexOf(v2) != -1; 95 96 } … … 104 105 return s.equals(""); 105 106 String search = caseSensitive ? s : s.toLowerCase(); 106 search = java.text.Normalizer.normalize(search, java.text.Normalizer.Form.NFC); 107 // is not Java 1.5 108 //search = java.text.Normalizer.normalize(search, java.text.Normalizer.Form.NFC); 107 109 for (Entry<String, String> e : osm.keys.entrySet()) { 108 110 String key = caseSensitive ? e.getKey() : e.getKey().toLowerCase(); 109 111 String value = caseSensitive ? e.getValue() : e.getValue().toLowerCase(); 110 value = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC); 112 // is not Java 1.5 113 //value = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC); 111 114 if (key.indexOf(search) != -1 || value.indexOf(search) != -1) 112 115 return true; 113 116 } 114 117 if (osm.user != null) { 115 String name = java.text.Normalizer.normalize(osm.user.name, java.text.Normalizer.Form.NFC); 118 String name = osm.user.name; 119 // is not Java 1.5 120 //String name = java.text.Normalizer.normalize(name, java.text.Normalizer.Form.NFC); 116 121 if (!caseSensitive) 117 122 name = name.toLowerCase(); -
trunk/src/org/openstreetmap/josm/gui/dialogs/PropertiesDialog.java
r1166 r1168 209 209 210 210 String value = values.getEditor().getItem().toString(); 211 value = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC); 211 // is not Java 1.5 212 //value = java.text.Normalizer.normalize(value, java.text.Normalizer.Form.NFC); 212 213 if (value.equals("")) 213 214 value = null; // delete the key 214 215 String newkey = keys.getEditor().getItem().toString(); 215 newkey = java.text.Normalizer.normalize(newkey, java.text.Normalizer.Form.NFC);216 //newkey = java.text.Normalizer.normalize(newkey, java.text.Normalizer.Form.NFC); 216 217 if (newkey.equals("")) { 217 218 newkey = key;
Note:
See TracChangeset
for help on using the changeset viewer.