Case sensitive filters

[|di|]

Hi !

Is it possible to add a case sensitive option to file filters ?

for example, if my filter is *FOO*, I don't want to highlight FooBar

[bigstar]

Sorry, There are no plans for adding a case-senstivity option.