Changeset 6410 in josm for trunk/src/org/openstreetmap/josm/tools

Timestamp:

2013-11-25T01:23:30+01:00 (10 years ago)

Author:

Don-vip

Message:

• tagchecker: ignore keys starting with source:
• utils: handle unicode character '\uFEFF' (ZERO WIDTH NO-BREAK SPACE)

File:

• trunk/src/org/openstreetmap/josm/tools/Utils.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/Utils.java

@@ -701 +701 @@
             char c = str.charAt(start);
             // '\u200B' (ZERO WIDTH SPACE character) needs to be handled manually because of change in Unicode 6.0 (Java 7, see #8918)
-            leadingWhite = (Character.isWhitespace(c) || Character.isSpaceChar(c) || c == '\u200B');
+            // same for '\uFEFF' (ZERO WIDTH NO-BREAK SPACE)
+            leadingWhite = (Character.isWhitespace(c) || Character.isSpaceChar(c) || c == '\u200B' || c == '\uFEFF');
             if (leadingWhite) {
                 start++;
@@ -709 +710 @@
         while (trailingWhite && end > start+1) {
             char c = str.charAt(end-1);
-            trailingWhite = (Character.isWhitespace(c) || Character.isSpaceChar(c) || c == '\u200B');
+            trailingWhite = (Character.isWhitespace(c) || Character.isSpaceChar(c) || c == '\u200B' || c == '\uFEFF');
             if (trailingWhite) {
                 end--;