make "filter" case insensitive

From: Fourhundred Thecat <400thecat gmx ch>
To: mc gnome org
Subject: make "filter" case insensitive
Date: Wed, 23 Feb 2022 14:56:45 +0100

Hello,

is there any way to make "filter" case insensitive?

If there is no configuration option for this, how difficult would it be
to change this in the source code?

(I am using mc version: 3:4.8.22-1 on Debian 10

thank you

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