V2.39c - "Filter is case sensitive" location


#1

Suggestion: move "Filter is case sensitive" from Options dialog to Filter bar. Filter bar is more convenient for changing, and importantly it makes the current status visible where required, whereas a forgotten change on Options can lead to much head-scratching! :wink: