Hi. Should "|" be used to separate two "or" terms of a search? Or is "OR" the only token?
I ask because "|" is not recognized by the tokenizer as a token, and yet http://wiki.openstreetmap.org/wiki/JOSM/Search_function (used to until I changed it) claim that "|" could be used to separate two "or" terms of a search. Just wondering: should I fix the code or leave the documentation fixed? -- --my blog is at http://blog.russnelson.com | Delegislation is a slippery Crynwr sells support for free software | PGPok | slope to prosperity. 521 Pleasant Valley Rd. | +1 315-323-1241 | Fewer laws, more freedom. Potsdam, NY 13676-3213 | Sheepdog | (Not a GOP supporter). _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
