Re: set default case insensitive?

On Thu, 15 Aug 2013 10:23:03 -0400 Felix Miata <mrmazda 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

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.


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