make "filter" case insensitive

[mc-butler]

Important

This issue was migrated from Trac:

Origin	https://midnight-commander.org/ticket/4334
Reporter	400thecat (@400thecat)

The filter function is potentially very useful for filtering files in current path based on wildcard. But, having this matching "case-sensitive" completely invalidates the usefulness. If the matching cannot be made case-insensitive by default, then please at least make it configurable.

I cannot fathom, how somebody can find this feature useful as it is. Imagine searching for a file by name. Was it called "Report" or "report" or "REPORT" ?

Having to use [Rr][Ee][Pp][oO][Rr][Tt] is as good as useless.

thank you

[mc-butler]

Changed by andrew_b (@aborodin) on Apr 10, 2022 at 14:30 UTC

• Blocked by set to #1373

(In #1373) Branch: 1373_more_filter_options
Initial [42a883f380ed8e6d82a2e1699829b8d1c261743b]

The main idea is apply same options for file filter as for file selection and use the same dialog window.

[mc-butler]

Changed by andrew_b (@aborodin) on Apr 17, 2022 at 17:44 UTC (comment 2)

• Milestone changed from Future Releases to 4.8.29
• Resolution set to fixed
• Status changed from new to closed

Implemented as part of #1373.