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