On 4/11/19 8:19 AM, Hannes Wallnöfer wrote:
It seems a bug that typing excess whitespace should cause the match to fail.
You should ignore all whitespace everywhere in the search string.
I spent quite a bit of time on getting whitespace right. Ignoring all
whitespace seems wrong as it would mean that „ob ject“ matches
java.lang.Object. The solution I found is to make white space significant if it
separates two words/identifiers, and make it optional if it occurs at the edge
of the query string or before/after a separator character.
This more or less replicates white space in Java syntax, and it happens to also
work well for search tags.
Chuckle, yes, we should not accept/ignore whitespace between identifier
characters, as in "obj ect"!
-- Jon
