Re: make "filter" case insensitive

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:
Registration is required.


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