set default case insensitive?
Andrew Borodin
aborodin at vmail.ru
Fri Aug 16 05:08:28 UTC 2013
On Thu, 15 Aug 2013 10:23:03 -0400 Felix Miata <mrmazda at earthlink.net> wrote:
> On 2013-08-15 13:48 (GMT+0400) Andrew Borodin composed:
>
> > On Thu, 15 Aug 2013 04:37:55 -0400 Felix Miata wrote:
>
> >> Looking through ini there are several lines containing string case. Some are
> >> true/false, but others use numbers.
>
> > True and 1 are same, false and 0 too.
>
> Makes perfect sense. True=yes=1=OK, False=no=0=nack. More situations should accept
> the full set. The problem I have is seeing any other number....
You can read the "Key-value file parser" section of the GLib manual for details.
quick_search_case_sensitive is not a boolean key. This numeric value matched with the
Options/Panel options.../Quick search case.
> $ grep case ini
> quick_search_case_sensitive=2
> case_sensitive=1
> case_sensitive=1
> file_case_sens=false
> content_case_sens=false
>
> Why the duplication?
Looks like trolling from you. If you use cat or less instead of grep, you see that
keys with same name are in different sections.
--
Andrew
More information about the mc
mailing list