Changeset 1149 in josm


Ignore:
Timestamp:
2008-12-21T13:54:46+01:00 (16 years ago)
Author:
stoecker
Message:

fix #1805, fix by Russ Nelson

File:
1 edited

Legend:

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

    r627 r1149  
    5454                        case ')':
    5555                                return ")";
     56                        case '|':
     57                                return "|";
    5658                        case '"':
    5759                                s = new StringBuilder(" ");
     
    7072                                }
    7173                                c = (char)next;
    72                                 if (c == ' ' || c == '\t' || c == '"' || c == ':' || c == '(' || c == ')') {
     74                                if (c == ' ' || c == '\t' || c == '"' || c == ':' || c == '(' || c == ')' || c == '|') {
    7375                                        search.unread(next);
    7476                                        if (s.toString().equals("OR"))
Note: See TracChangeset for help on using the changeset viewer.