ignore-case: returning case sensitive result. Irrespective if the match case setting is turned on or off.
Should ignore case
isn’t ignoring case
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.
Aa
Yeah, it’s a silly glitch. Glad that it was caught in insider build!
Fixed in 0.8.1: Obsidian Release v0.8.1 (insider build)