Re: make "filter" case insensitive

[Andrew Borodin <aborodin vmail ru>]

On Thu, 24 Feb 2022 09:59:07 +0100 Fourhundred Thecat via mc <mc gnome org> wrote:
> If there is no configuration option to make the matching
> case-nonsensitive, would it be possible to change this in the source
> code easily?

Unfortunately, no.

Feel free to create a ticket: https://midnight-commander.org/wiki/NewTicket
Registration is required.

-- 
Andrew