Search does not work when searching for value containing literal quote

[anonymous]

I tried searching for values containing a quote (the literal quote character: ")
but with some my attempts it failed:

"
\"
""""
"\""
as regex:
["]
[\"]
"[\"]"

the search either found nothing, spitted out some error or matched all data.

Seems there is not way to search for literal value that contains the quote character

[avar]

You can search for e.g. \x22 using regex search instead of " as a workaround. But the search engine's tokenizer should have facility for balancing escaped quotes.

[avar]

The code in question is this from around line 60 in PushbackTokenizer.java:

            case '"':
                s = new StringBuilder(" ");
                for (int nc = search.read(); nc != -1 && nc != '"'; nc = search.read())
                    s.append((char)nc);
                return s.toString();

It would need to be changed to support "\"", "
", "

" etc. Keeping in mind that the user may want to search for a literal \, especially when using regex search.

[mjulius]

(In [2777]) fixes #2473 - Search does not work when searching for value containing literal quote
Quotes within quoted strings can now be escaped with backslash.