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

Timestamp:

2011-01-23T18:14:00+01:00 (14 years ago)

Author:

jttt

Message:

Fix #5640 Operator 'OR' in search expression does not work, only 'or' and '|' works.

File:

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

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

@@ -149 +149 @@
             }
             currentText = prefix + getString();
-            if ("or".equals(currentText))
+            if ("or".equalsIgnoreCase(currentText))
                 return Token.OR;
             try {