Steps to reproduce
ignore-case: returning case sensitive result. Irrespective if the match case setting is turned on or off.
Should ignore case
isn’t ignoring case
- Operating system: Mac OS 10.15
Repro’ed, will fix, thanks for catching this.
Funny that “ignore-case:” is actually having the opposite effect…
As an aside, if you select the
Aa displayed immediately above the search bar, it will toggle case sensitivity.
Yeah, it’s a silly glitch. Glad that it was caught in insider build!