Re: make "filter" case insensitive

> On 2022-02-23 17:59, Frank Dietrich via mc wrote:

the filter uses shell globbing pattern. For example


would filter files *.PDF, *.pdf (and all other permutations of the

thank you, but that is extremly laborious.

If there is no configuration option to make the matching
case-nonsensitive, would it be possible to change this in the source
code easily?

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]