Ticket #4334 (closed enhancement: fixed)
make "filter" case insensitive
Reported by: | 400thecat | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | 4.8.29 |
Component: | mc-core | Version: | master |
Keywords: | Cc: | ||
Blocked By: | #1373 | Blocking: | |
Branch state: | no branch | Votes for changeset: |
Description
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
Change History
Note: See
TracTickets for help on using
tickets.
(In #1373) Branch: 1373_more_filter_options
Initial changeset:42a883f380ed8e6d82a2e1699829b8d1c261743b
The main idea is apply same options for file filter as for file selection and use the same dialog window.