Steps to reproduce
ignore-case: returning case sensitive result. Irrespective if the match case setting is turned on or off.
Expected result
Should ignore case
Actual result
isn’t ignoring case
Environment
- Operating system: Mac OS 10.15
Additional information
Silver
2
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.
Silver
4
Yeah, it’s a silly glitch. Glad that it was caught in insider build! 
1 Like
Silver
5
2 Likes
