Changeset 3811 in josm

Timestamp:

Jan 23, 2011 6:14:00 PM (2 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 {