Changeset 2768 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2010-01-08T06:12:08+01:00 (14 years ago)

Author:

mjulius

Message:

fixes #4314 - user:"foo" works, user:"foo bar" doesn't
fixed parsing of tokens in double quotes in PushbackTokenizer

File:

• trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java

@@ -71 +71 @@
         case '"':
         {
+            getChar();
             StringBuilder s = new StringBuilder();
             while (c != -1 && c != '"') {